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