EasyCrypt: A Tutorial

Abstract

A short EasyCrypt tutorial giving an intuition of how detailed cryptographic proofs can easily be expressed in EasyCrypt.

Publication
In Foundationns of Security Analysis and Design VII, Vol. 8604. Lecture Notes in Computer Science. Springer.
Date
Links