Introduction Using CryptoVerif Proof technique Encrypt then MAC FDH Conclusion

Introduction Using CryptoVerif Proof technique Encrypt-then-MAC FDH Conclusion Mechanizing Game-Based Proofs of Security Protocols Bruno Blanchet INRIA, Ecole Normale Superieure, CNRS, Paris August 2011 Bruno Blanchet (INRIA) CryptoVerif August 2011 1 / 110

• mechanizing game-based


• cryptoverif proof technique


• introduction using


• game transformations


• communications over


• ecole normale