@InProceedings{Barthe:2012:CPP,
  author    = "Gilles Barthe and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Yassine Lakhnech and
               Santiago Zanella-B{\'e}guelin",
  title     = "Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs",
  booktitle = "2nd International Conference on Certified Programs and Proofs, CPP 2012",
  publisher = "Springer",
  volume    = "7697",
  series    = "Lecture Notes in Computer Science",
  pages     = "7-8",
  year      = "2012",
  url       = "http://dx.doi.org/10.1007/978-3-642-35308-6_3"
}