Computer-Aided Security Proofs for the Working Cryptographer.

Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Santiago Zanella-Bguelin

Browse the full CRYPTO paper archive.