@InProceedings{Zanella:2009:SP,
  author    = "Santiago {Zanella B{\'e}guelin} and
               Benjamin Gr{\'e}goire and
               Gilles Barthe and
               Federico Olmedo",
  title     = "Formally Certifying the Security of Digital Signature Schemes",
  booktitle = "30th IEEE Symposium on Security and Privacy, S\&P 2009", 
  publisher = "IEEE Computer Society",
  year      = "2009",
  pages     = "237--250",
  url       = "http://dx.doi.org/10.1109/SP.2009.17"
}