New release ProVerif 2.04

Download on the ProVerif page. Changes since the previous release: – Improved optimisation transforming mess facts into attacker facts when the channel is a public term and not only a public name. – Allow nested comments in the input file. All comments must be closed. ProVerif will raise an error…

Continue reading

New release ProVerif 2.03

Download on the ProVerif page. Changes since the previous release: – Events that occur in the conclusion of a lemma and also as an injective event in the main query are not ignored anymore when applying the lemma. – Replace attacker(fail-any,x) or attacker(x,fail-any) with bad in the conclusion of clauses.…

Continue reading