CryptoZoo: A Viewer for Reduction Proofs

ePrint Report: CryptoZoo: A Viewer for Reduction Proofs

Chris Brzuska, Christoph Egger, Kirthivaasan Puniamurthy

Cryptographers rely on visualization to effectively communicate cryptographic constructions with one another. Visual frameworks such as constructive cryptography (TOSCA 2011), the joy of cryptography (online book) and state-separating proofs (SSPs, Asiacrypt 2018) are useful to communicate not only the construction, but also their proof visually by representing a cryptographic system as graphs.


One SSP core feature is the re-use of code, e.g., a package of code …

asiacrypt book chris construction cryptographic cryptography effectively eprint report frameworks report state viewer visualization