@InProceedings{Zanella: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"
}