Diffie Hellman key exchangeLast updated Feb 3, 2024One-time pad protocolReferencesCategorical Composable Cryptography (Broadbent and Karvonen, 2021)