Diffie Hellman key exchange

• One-time pad protocol

References

• Categorical Composable Cryptography (Broadbent and Karvonen, 2021)