Gilles Barthe, Benjamin Grégoire, César Kunz, Yassine Lakhnech, Santiago Zanella-Béguelin: Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs. CPP 2012: 7-8