Computer-Aided Security

Computer-Aided Security Proofs for the Working Cryptographer?

FREE DOWNLOAD [PDF] G Barthe, B Grégoire, S Heraud… – Advances in Cryptology …, 2011 –

Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic
systems from proof sketches—compact, formal representations of the essence of a proof as a
sequence of games and hints. Proof sketches are checked automatically using