Proof — Differential privacy
Statement
ε-differential privacy; formal privacy guarantees. Proved in ZFC.
Proof sketch
ZFC → databases as sets; neighboring datasets differ by one row. ε-DP: Pr[M(D)∈S] ≤ e^ε Pr[M(D')∈S]. Composition, Laplace mechanism.
Source
Donald E. Knuth Prize 2020. ε-differential privacy; formal privacy guarantees. Proved in ZFC.
Domains
computer-science