About

The Tamarin prover is an open-source security protocol verification tool that supports both falsification (attack finding) and unbounded verification (proving) in the symbolic model. Tamarin has been under active development since 2012.

Current core team

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse.

Current maintainers

Cas Cremers, Jannik Dreier, Robert Künnemann, Ralf Sasse.

Collaboration

Tamarin is a collaborative effort: see the manual for a more extensive overview of its development and its many additional contributors.