Lemmas of Differential Privacy

11/21/2022
by   Yiyang Huang, et al.
0

We aim to collect buried lemmas that are useful for proofs. In particular, we try to provide self-contained proofs for those lemmas and categorise them according to their usage.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/15/2017

Synthesizing Coupling Proofs of Differential Privacy

Differential privacy has emerged as a promising probabilistic formulatio...
research
02/21/2019

The Power of Self-Reducibility: Selectivity, Information, and Approximation

This chapter provides a hands-on tutorial on the important technique kno...
research
01/23/2022

Elementary proofs of four standard results on false discovery rate

We collect self-contained elementary proofs of four standard results in ...
research
06/06/2021

Learning proofs for the classification of nilpotent semigroups

Machine learning is applied to find proofs, with smaller or smallest num...
research
01/15/2021

The Coq Proof Script Visualiser (coq-psv)

In this work, we present a visualisation tool that is able to process Co...
research
05/25/2018

Toward Detecting Violations of Differential Privacy

The widespread acceptance of differential privacy has led to the publica...
research
03/24/2021

New Proofs of the Basel Problem using Stochastic Processes

The number π ^2/6 is involved in the variance of several distributions i...

Please sign up or login with your details

Forgot password? Click here to reset