@PhDThesis{Zanella:2010:PhD,
  author    = "Santiago {Zanella B{\'e}guelin}",
  title     = "Formal Certification of Game-Based Cryptographic Proofs",
  school    = "{\'E}cole Nationale Sup{\'e}rieure des Mines de Paris",
  year      = "2010"
}