@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}, }