F-CKE — Continuous KE, asymmetric ratchet

F-CKE (Continuous KE, asymmetric ratchet) is part of Public-Key Primitives, Key Exchange, Messaging in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

Introduced as one piece of a decomposition of the Signal protocol, alongside F-secmsg and F-fsAEAD.

References:

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