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.
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).