@InProceedings{Barthe:2010:ITP,
  author    = "Gilles Barthe and 
               Benjamin Gr{\'e}goire and 
               Santiago Zanella-B{\'e}guelin",
  title     = "Programming Language Techniques for Cryptographic Proofs",
  booktitle = "1st International Conference on Interactive Theorem Proving, 
               ITP 2010",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  volume    = "6172",
  year      = "2010",
  pages     = "115-130",
  url       = "http://dx.doi.org/10.1007/978-3-642-14052-5_10"
}