Differential privacy tools

Jason Reed and Benjamin C. Pierce. “Distance makes the types grow stronger: a calculus for differential privacy”. In International Conference on Functional Programming (ICFP), pages 157–168, Baltimore, MD, USA, September 2010.
[ACM]

Gilles Barthe, Boris Köpf, Federico Olmedo, and Santiago Zanella Béguelin. “Probabilistic relational reasoning for differential privacy”. In Principles of Programming Languages (POPL), pages 97–110, Philadelphia, PA, USA, January 2012.
[ACM]

Question: TBD

Optional

Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, and Benjamin C. Pierce. “Linear dependent types for differential privacy”. In Principles of Programming Languages (POPL), pages 357–370, Rome, Italy, January 2013.
[ACM]

This is a more recent successor to the Fuzz system of Reed and Pierce (the first main reading), extending it with dependent-type features that make it more powerful and more specification-like.