Abstract:Secure multi-party computation (MPC) is a fundamental problem in secure distributed computing. An MPC protocol allows a set of n mutually distrusting parties to carry out any joint computation of their private inputs, without disclosing any additional information about their inputs. MPC with information-theoretic security (also called unconditional security) provides the strongest security guarantees and remains secure even against computationally unbounded adversaries. Perfectly-secure MPC protocols are a class of information-theoretically secure MPC protocols, which provide all the security guarantees in an error-free fashion. The focus of this work is perfectly-secure MPC. Known protocols are designed assuming either a synchronous or asynchronous communication network. It is well known that perfectly-secure synchronous MPC is possible as long as the adversary can corrupt any ts < n/3 parties. On the other hand, perfectly-secure asynchronous MPC protocols can tolerate up to ta < n/4 corrupt parties. A natural question is does there exist a single MPC protocol for the setting where the parties are not aware of the exact network type and which can tolerate up to ts < n/3 corruptions in a synchronous network and up to ta < n/4 corruptions in an asynchronous network. We design such a best-of-both-worlds perfectly-secure MPC protocol, provided 3ts + ta < n holds. For designing our protocol, we design two important building blocks which are of independent interest. The first building block is a best-of-both-worlds Byzantine agreement (BA) protocol tolerating t < n/3 corruptions which remains secure both in a synchronous as well as asynchronous network. The second building block is a polynomial-based best-of-both-worlds verifiable secret-sharing (VSS) protocol, which can tolerate up to ts and ta corruptions in a synchronous and in an asynchronous network respectively.

Secure Sampling for Approximate Multi-party Query Processing.

Securely Sampling Discrete Gaussian Noise for Multi-Party Differential Privacy

SAQP++: Bridging the Gap Between Sampling-Based Approximate Query Processing and Aggregate Precomputation.

Combining Aggregation and Sampling (Nearly) Optimally for Approximate Query Processing

Benchmarking Secure Sampling Protocols for Differential Privacy

Senate: A Maliciously-Secure MPC Platform for Collaborative Analytics

Conclave: secure multi-party computation on big data (extended TR)

Quantum Secure Protocols for Multiparty Computations

Concretely efficient secure multi-party computation protocols: survey and more

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation

When Quantum Computing Meets Database: A Hybrid Sampling Framework for Approximate Query Processing

AQP++: Connecting Approximate Query Processing with Aggregate Precomputation for Interactive Analytics

Perfectly-Secure Synchronous MPC with Asynchronous Fallback Guarantees

ShadowAQP: Efficient Approximate Group-by and Join Query Via Attribute-oriented Sample Size Allocation and Data Generation.

Outsourcing Secure MPC to Untrusted Cloud Environments with Correctness Verification

A Secure Multiparty Quantum Least Common Multiple Computation Protocol

Publicly Auditable MPC-as-a-Service with succinct verification and universal setup

Building Fast and Compact Sketches for Approximately Multi-Set Multi-Membership Querying

Maliciously Secure MPC from Semi-Honest 2 PC in the Server-Aided Model

Performance Evaluation of Secure Multi-party Computation on Heterogeneous Nodes

Secure Multiparty Computation (MPC)