Probabilistic relational reasoning for differential privacy

Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin. Probabilistic relational reasoning for differential privacy. In John Field, Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. pages 97-110, ACM, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.