I am pleased to announce a new release of ProVerif, version 1.98.
ProVerif is a automatic security protocol verifier that relies on the symbolic model of cryptography.
ProVerif is available at
http://proverif.inria.fr
It is also available via opam (see installation instructions
in Section 1.4 of the manual http://proverif.inria.fr/manual.pdf )
The main novelty is an interactive simulator by Marc Sylvestre and I,
which allows you to run your protocol step by step interactively
(see Section 3.4 of the manual).
Enjoy!
-Bruno