F-crypto — Joint-state cryptographic library

F-crypto (Joint-state cryptographic library) is part of Cryptographic Library and Symmetric Primitives in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

Unlike the other local, hardness-based primitives in this layer, this functionality earns its place because keys are reused across sessions — it only becomes necessary once joint state is present.

References:

• Küsters and Tuengerthal. Ideal key derivation and encryption in simulation-based security. In Topics in Cryptology – CT-RSA 2011, volume 6558 of LNCS, pages 161–179, 2011.
• 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.
• Backes, Pfitzmann, and Waidner. A composable cryptographic library with nested operations. In 10th ACM Conference on Computer and Communications Security (CCS), 2003.
• Canetti and Herzog. Universally composable symbolic analysis of cryptographic protocols. Journal of Cryptology, 24(1):83–147, 2011.