Metrics for Differential Privacy in Concurrent Systems

17 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Advanced Probabilistic Couplings for Differential Privacy (2016, methodology): “By now, there are tools that formally guarantee differential privacy by via relational program logics [2, 5], linear type systems [24, 29, 42], interactive automata [50, 51], product programs [6], satisfiability modulo theories [28], refinement type systems [8], and more.”
Proving differential privacy with shadow execution (2019, background): “However, along with other work such as computing bisimulations families for probabilistic automata [41, 42], they fail to provide a tight bound on the privacy cost of sophisticated algorithms.”
LightDP: towards automating differential privacy proofs (2016, methodology): “There are also methods based on computing bisimulations families for probabilistic automata (Tschantz et al. 2011; Xu et al. 2014).”