Satisfiability modulo counting: a new approach for analyzing privacy properties

By Matt Fredrikson, Somesh Jha. 2014

31 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Signal Processing

Citations in the corpus

• Advanced Probabilistic Couplings for Differential Privacy (2016, neutral): “Several tools have been proposed for providing formal verification of the differential privacy guarantee, using a wide variety of verification approaches: dynamic checking [24, 36], relational program logic [2, 6] and relational refinement type systems [9], linear (dependent) type systems [29, 42], ”