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.

Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (1.1M).