F-aPKE — Adaptively secure non-interactive PKE

F-aPKE (Adaptively secure non-interactive PKE) is part of Public-Key Primitives, Key Exchange, Messaging in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Camenisch, Lehmann, Neven, and Samelin. UC-secure non-interactive public-key encryption. In 30th IEEE Computer Security Foundations Symposium (CSF), pages 217–233, 2017.
• Canetti, Halevi, and Katz. Adaptively secure non-interactive public-key encryption. In 2nd Theory of Cryptography Conference (TCC), 2005.