Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin. Computer-Aided Security Proofs for the Working Cryptographer. In Phillip Rogaway, editor, Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011. Proceedings. Volume 6841 of Lecture Notes in Computer Science, pages 71-90, Springer, 2011. [doi]
Abstract is missing.