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
In All About Proofs, Proofs for All. Mathematical Logic and Foundations, vol. 55. 2015.
Date
Links