Categorical Composable Cryptography (Broadbent and Karvonen, 2021)Last updated Oct 4, 2022#paperAttack modelsOne-time pad protocol