cryptocode – Typesetting pseudocode, protocols, game-based proofs and black-box reductions in cryptography

The cryptocode package provides a set of macros to ease the typesetting of pseudocode, algorithms and protocols. In addition it comes with a wide range of tools to typeset cryptographic papers. This includes simple predefined commands for concepts such as a security parameter or advantage terms but also flexible and powerful environments to layout game-based proofs or black-box reductions.

Download the contents of this package in one zip archive (1.1M).