Categorical Composable Cryptography (Broadbent and Karvonen, 2021)

Last updated Oct 4, 2022

#paper

• Attack models
• One-time pad protocol