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.

BAPUC: A Broadcast Authentication Protocol for Ubiquitous Computing

Authentication scheme based on biometric encryption for pervasive computing environments

On Broadcast Authentication in Wireless Sensor Networks

PBA: Prediction-Based Authentication for Vehicle-to-Vehicle Communications.

Effective Multi-User Broadcast Authentication in Wireless Sensor Networks

A Broadcasting Authentication Protocol With Dos And Fault Tolerance For Wireless Ad Hoc Networks

An Efficient Broadcast Authentication Scheme with Batch Verification for ADS-B Messages

ADS-B Broadcast Authentication

CABBA: Compatible Authenticated Bandwidth-efficient Broadcast protocol for ADS-B

EBAA: an Efficient Broadcast Authentication Scheme for ADS-B Communication Based on IBS-MR

Channel information based cryptography and authentication in wireless body area networks

BaPu: Efficient and Practical Bunching of Access Point Uplinks

A novel broadcast authentication protocol for internet of vehicles

Research on Optimization of μTESLA Broadcast Authentication Protocol

Universally Composable Simultaneous Broadcast against a Dishonest Majority and Applications

A Paralleling Broadcast Authentication Protocol for Sparse RSUs in Internet of Vehicles

Physical Layer Assisted Authentication for Distributed Ad Hoc Wireless Sensor Networks

TuLP: A Family of Lightweight Message Authentication Codes for Body Sensor Networks

Unequal authenticity protection (UAP) for rate-distortion-optimized secure streaming of multimedia over wireless networks

MABS: Multicast Authentication Based on Batch Signature

Ownership Authentication Transfer Protocol for Ubiquitous Computing Devices