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
#note
Search
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
#note