Categorical Composable Cryptography (Broadbent and Karvonen, 2021)Last updated Sep 8, 2023Attack modelsOne-time pad protocol#paper