@InProceedings{Zanella:2008:FAST,
  author    = "Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Sylvain Heraud and
	       Santiago {Zanella B{\'e}guelin}",
  title     = "Formal certification of {ElGamal} encryption. 
               {A} gentle introduction to {CertiCrypt}",
  booktitle = "5th International Workshop on 
               Formal Aspects in Security and Trust, FAST 2008",
  publisher = "Springer",
  series    = "Lectures Notes in Computer Science",
  volume    = "5491",
  year      = "2009",
  pages     = "1--19",
  url       = "http://dx.doi.org/10.1007/978-3-642-01465-9_1"
}