F-secmsg — End-to-end secure messaging

F-secmsg (End-to-end secure messaging) is part of Public-Key Primitives, Key Exchange, Messaging in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

Introduced as part of a single decomposition of the Signal protocol into this functionality, a continuous-key-exchange functionality (F-CKE), epoch-level symmetric ratchets, and a forward-secure AEAD functionality (F-fsAEAD).

References:

• Canetti et al. Universally composable end-to-end secure messaging. In Advances in Cryptology – CRYPTO 2022, volume 13508 of LNCS, 2022.