Categorical Composable Cryptography (Broadbent and Karvonen, 2021)

Last updated Feb 3, 2024

• Attack models
• One-time pad protocol
• Diffie Hellman key exchange
• efficient sequence of finite sets
• computational indistinguishability

#paper