One-time pad protocol

The one-time pad protocol has a good formulation as a Hopf algebra with an bialgebra integral, due to Broadbent and Karvonen (2021). This can be implemented directly into session do-notation.

References

• Categorical Composable Cryptography (Broadbent and Karvonen, 2021)

note