@InProceedings{Barthe:2013:CSF,
  author    = "Gilles Barthe and
               George Danezis and
               Benjaming Gr{\'e}goire and
               C{\'e}sar Kunz and
               Santiago Zanella-B{\'e}guelin",
  title     = "Verified Computational Differential Privacy with Applications to
               Smart Metering",
  booktitle = "26th IEEE Computer Security Foundations Symposium, CSF 2013",
  publisher = "IEEE Computer Society",
  year      = "2013",
  note      = "To appear"
}