@InProceedings{Barthe:2009:POPL,
  author    = "Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Santiago Zanella-B{\'e}guelin",
  title     = "Formal Certification of Code-Based Cryptographic Proofs",
  booktitle = "36th ACM SIGPLAN-SIGACT Symposium on 
               Principles of Programming Languages, POPL 2009",
  publisher = "ACM",
  year      = "2009",
  pages     = "90-101",
  url       = "http://dx.doi.org/10.1145/1480881.1480894"
}