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

New release CryptoVerif 2.05

Download on the CryptoVerif page Changes since the previous release: – Allow comparisons between indices and tables (insert, get) in the right-hand side of equiv declarations. – Optimize the right-hand side of equiv declarations by removing useless assignments. – Allow new and event_abort in conditions of find and get. – Allow…

Continue reading