F-rbc — Reliable broadcast

F-rbc (Reliable broadcast) is part of Channels, Agreement, Ledgers in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Garay et al. Adaptively secure broadcast, revisited. In 30th ACM Symposium on Principles of Distributed Computing (PODC), 2011.
• Ben-Or, Canetti, and Goldreich. Asynchronous secure computation. In 25th ACM Symposium on Theory of Computing (STOC), pages 52–61, 1993.