@InProceedings{Barthe:2011:CRYPTO,
  author    = "Gilles Barthe and
               Benjamin Gr{\'e}goire and     
	       Sylvain Heraud and
               Santiago Zanella-B{\'e}guelin",
  title     = "Computer-Aided Security Proofs for the Working Cryptographer",
  booktitle = "Advances in Cryptology -- CRYPTO 2011",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  volume    = "6841",
  pages     = "71-90",
  year      = "2011",
  url       = "http://dx.doi.org/10.1007/978-3-642-22792-9_5"
}