F-saPAKE — Strong asymmetric PAKE

F-saPAKE (Strong asymmetric PAKE) is part of Public-Key Primitives, Key Exchange, Messaging in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

Introduced in the same paper as F-aPAKE, as part of the OPAQUE asymmetric PAKE protocol.

References:

• Jarecki, Krawczyk, and Xu. OPAQUE: An asymmetric PAKE protocol secure against pre-computation attacks. In Advances in Cryptology – EUROCRYPT 2018, volume 10822 of LNCS, pages 456–486, 2018.