Abstract
This entry contains formalization of differential privacy in a general setting, based on the seminal textbook of Dwork and Roth and the papers of statistical divergence for differential privacy [Sato and Katsumata, MSCS2023 and Barthe and Olmedo,ICALP2013].
This entry includes the following formalization:
- Measurable space of lists and measurability of list operations
- Laplace distribution
- The statisatical divergence for differential privacy
- Differential privacy and its basic properties
- Randomized Response
- Laplace mechanism
- The report noisy max mechanism
License
Topics
Session Differential_Privacy
- Measurable_Isomorphism
- Source_and_Sink_Algebras
- Source_and_Sink_Algebras_Constructions
- List_Space
- L1_norm_list
- Additional_Lemmas_for_Calculation
- Additional_Lemmas_for_Integrals
- Laplace_Distribution
- Comparable_Probability_Measures
- Differential_Privacy_Divergence
- Differential_Privacy_Randomized_Response
- Differential_Privacy_Laplace_Mechanism
- Differential_Privacy_Laplace_Mechanism_Multi
- Differential_Privacy_Standard
- Differential_Privacy_Example_Report_Noisy_Max