@InProceedings{Zanella:2012:POPL,
  author    = "Gilles Barthe and
               Boris K{\"o}pf and
               Federico Olmedo and
               Santiago Zanella-B{\'e}guelin",
  title     = "Probabilistic Relational Reasoning for Differential Privacy",
  booktitle = "39th ACM SIGPLAN-SIGACT Symposium on 
               Principles of Programming Languages, POPL 2012",
  pages     = "97-110",
  publisher = "ACM",
  year      = "2012",
  url       = "http://dx.doi.org/10.1145/2103656.2103670"
}