Gilles Barthe Benjamin Grégoire Romain Janvier Santiago Zanella Béguelin Formal Certification of Code-Based Cryptographic Proofs. 314 2007 2007 IACR Cryptology ePrint Archive http://eprint.iacr.org/2007/314 db/journals/iacr/iacr2007.html#BartheGJB07