Proving differential privacy in Hoare logic

10 July 2014

Gilles Barthe

Papers citing "Proving differential privacy in Hoare logic"

4 / 4 papers shown

Title
Belief Semantics of Authorization Logic Andrew K. Hirsch Michael R. Clarkson 61 12 0 08 Feb 2013
Iterative Constructions and Private Data Release Anupam Gupta Aaron Roth Jonathan R. Ullman 73 208 0 19 Jul 2011
Formal Verification of Differential Privacy for Interactive Systems Michael Carl Tschantz D. Kaynar Anupam Datta 83 45 0 14 Jan 2011
Differentially Private Combinatorial Optimization Anupam Gupta Katrina Ligett Frank McSherry Aaron Roth Kunal Talwar 78 233 0 26 Mar 2009