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…
