@InProceedings{Olmedo: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 = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages -- {POPL} 2012},
  pages     = {97-110},
  publisher = {ACM},
  year      = {2012},
  
}