@InProceedings{Barthe:2010:CSF,
  author    = "Gilles Barthe and
	       Daniel Hedin and
	       Santiago Zanella-B{\'e}guelin and 
               Benjamin Gr{\'e}goire and 
               Sylvain Heraud",
  title     = "A Machine-Checked Formalization of {Sigma}-Protocols",
  booktitle = "23rd IEEE Computer Security Foundations Symposium, CSF 2010",
  publisher = "IEEE Computer Society",
  pages     = "246-260",
  year      = "2010",
  url       = "http://dx.doi.org/10.1109/CSF.2010.24"
}