A diagrammatic approach to information flow in encrypted communication (extended version)

Peter Hines

We give diagrammatic tools to reason about information flow within encrypted communication. In particular, we are interested in deducing where information flow (communication or ot…