@Article{Barthe:2010,
  author    = "Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Santiago Zanella-B{\'e}guelin",
  title     = "Formal Certification of Code-Based Cryptographic Proofs",
  journal   = "XXX", 
  year      = "2010",
  notes     = "Submitted manuscript under review"
}