Abstract:Simultaneous broadcast (SBC) protocols [Chor et al., FOCS 1985] constitute a special class of broadcast channels which have proved extremely useful in the design of various distributed computing constructions (e.g., multiparty computation, coin flipping, e-voting, fair bidding). As with any communication channel, it is crucial that SBC security is composable, i.e., it is preserved under concurrent protocol executions. The work of [Hevia, SCN 2006] proposes a formal treatment of SBC in the Universal Composability (UC) framework [Canetti, FOCS 2001] and a construction secure assuming an honest majority. In this work, we provide a comprehensive revision of SBC in the UC setting and improve the results of [Hevia, SCN 2006]. In particular, we present a new SBC functionality that captures both simultaneity and liveness by considering a broadcast period such that (i) within this period all messages are broadcast independently and (ii) after the period ends, the session is terminated without requiring participation of all parties. Next, we employ time-lock encryption (TLE) over a standard broadcast channel to devise an SBC protocol that realizes our functionality against any adaptive adversary corrupting up to all-but-one parties. In our study, we capture synchronicity via a global clock [Katz et al., TCC 2013], thus lifting the restrictions of the original synchronous communication setting used in [Hevia, SCN 2006]. As a building block of independent interest, we prove the first TLE protocol that is adaptively secure in the UC setting, strengthening the main result of [Arapinis et al., ASIACRYPT 2021]. Finally, we formally exhibit the power of our SBC construction in the design of UC-secure applications by presenting two interesting use cases: (i) distributed generation of uniform random strings, and (ii) decentralized electronic voting systems, without the presence of a special trusted party.

Multiparty computation unconditionally secure against Q^2 adversary structures

Asymmetric Quantum Secure Multi-Party Computation With Weak Clients Against Dishonest Majority

Secure Computation with Shared EPR Pairs (Or: How to Teleport in Zero-Knowledge)

Secure Multiparty Computation with Partial Fairness

A Secure Multiparty Quantum Least Common Multiple Computation Protocol

Constant-round Multi-party Quantum Computation for Constant Parties

Experimental Secure Multiparty Computation from Quantum Oblivious Transfer with Bit Commitment

Secure multi-party quantum computation protocol for quantum circuits: the exploitation of triply-even quantum error-correcting codes

Secure two-party computation via measurement-based quantum computing

Cryptanalysis and improvement of efficient multiparty quantum secret sharing based on a novel structure and single qubits

Graph Design for Secure Multiparty Computation over Non-Abelian Groups

Secure Multi-Party Quantum Summation Based on Quantum Homomorphic Encryption

Information-theoretic security without an honest majority

Secure Multiparty Computation of Set Membership and Its Applications

Secure multiparty quantum computations for greatest common divisor and private set intersection

A Secure Multiparty Computation Round Optimization Scheme Based on Standard Assumption

Anonymous multi-party quantum computation with a third party

Equitable multiparty quantum communication without a trusted third party

Peer-to-Peer Secure Multi-Party Numerical Computation Facing Malicious Adversaries

Lightweight Self-Bootstrapping Multiparty Computations of Time-Series Data with Custom Collusion Tolerance

Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications