F-PKE — Public-key encryption, KEM

F-PKE (Public-key encryption, KEM) is part of Public-Key Primitives, Key Exchange, Messaging in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Canetti. Universally composable security: A new paradigm for cryptographic protocols. In 42nd IEEE Symposium on Foundations of Computer Science (FOCS), pages 136–145, 2001.
• Goldwasser and Micali. Probabilistic encryption. Journal of Computer and System Sciences, 28(2):270–299, 1984.
• Küsters and Tuengerthal. Joint state theorems for public-key encryption and digital signature functionalities with local computation. In 21st IEEE Computer Security Foundations Symposium (CSF), pages 270–284, 2008.