Typesetting pseudocode, protocols, game-based proofs and black-box reductions in cryptography
Description
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.
