Tags: One-time pad protocol. References Categorical Composable Cryptography (Broadbent and Karvonen, 2021) The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023) Open Diagrams via Coend Calculus (Román, 2020)
