Computer-Aided Proofs in Cryptography: An overview

Abstract

A brief introduction to some of the recent developments in computer-aided cryptography, including CertiCrypt, EasyCrypt, ZooCrypt and more specialized tools.

Publication
All about Proofs, Proofs for All (APPA)