Lemmas of Differential Privacy
Yiyang Huang, Cl\'ement L. Canonne
TL;DR
This paper compiles and categorizes key lemmas used in differential privacy proofs, providing self-contained proofs to facilitate understanding and application in the field.
Contribution
It offers a comprehensive collection and categorization of lemmas with self-contained proofs, aiding researchers in differential privacy.
Findings
Lemmas are systematically categorized by usage.
Self-contained proofs are provided for each lemma.
The collection simplifies proof construction in differential privacy.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPrivacy-Preserving Technologies in Data · Cryptography and Data Security · Blockchain Technology Applications and Security