New release: ProVerif 1.98

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

2 Likes