Psi-Calculi in Isabelle Jesper BengtsonJoachim ParrowTjark Weber OriginalPaper 19 August 2015 Pages: 1 - 47
Automated Proofs of Block Cipher Modes of Operation Martin GagnéPascal LafourcadeReihaneh Safavi-Naini OriginalPaper 29 August 2015 Pages: 49 - 94