Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire, Cesar Kunz, Santiago Zanella-Béguelin. Computer-Aided Cryptographic Proofs.
ITP 2012 - Third International Conference on Interactive Theorem Proving, Aug 2012, Princeton N.J., United States.
⟨10.1007/978-3-642-32347-8_2⟩.
⟨hal-00765842⟩