Probabilistic Relational Reasoning for Differential Privacy

64 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.

The Privacy Blanket of the Shuffle Model (2019, methodology): “…leveraging a characterization of diﬀerential privacy in terms of hockey-stick divergences that originated in the formal methods community to address the veriﬁcation for diﬀerentially private programs [5, 4, 3] and has also been used to prove tight results on privacy ampliﬁcation by subsampling [1].”
Differentially private iterative synchronous consensus (2012, methodology): “Along these lines, a veriﬁcation framework for streaming algorithms has been presented in [2, 20].”
A Program Logic for Union Bounds (2016, unknown): “Examples include probabilistic relational Hoare logic [3] for proving the reductionist security of cryptographic constructions, and the related approximate probabilistic relational Hoare logic [4] for reasoning about diﬀerential privacy.”