Categorical Composable Cryptography (Broadbent and Karvonen, 2021)

Last updated Sep 8, 2023

• Attack models
• One-time pad protocol

#paper