Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin, Sylvain Heraud. Computer-Aided Security Proofs for the Working Cryptographer.
Advances in Cryptology - 2011 - 31st Annual Cryptology Conference, 2011, Santa Barbara, United States.
⟨10.1007/978-3-642-22792-9_5⟩.
⟨hal-01112075⟩