F-BA — Byzantine agreement

F-BA (Byzantine agreement) is part of Channels, Agreement, Ledgers in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Cohen, Coretti, Garay, and Zikas. Probabilistic Termination and Composability of Cryptographic Protocols. In Advances in Cryptology – CRYPTO 2016, Part III, volume 9816 of LNCS, pages 240–269, 2016.
• Lindell, Lysyanskaya, and Rabin. On the composition of authenticated byzantine agreement. In 34th ACM Symposium on Theory of Computing (STOC), 2002.