Advanced Probabilistic Couplings for Differential Privacy

Explore advanced probabilistic couplings for differential privacy in this conference talk from CCS 2016. Delve into the composition theorem, recent progress in program logic, and approximate couplings. Understand the interpretation and proof rules for accuracy-dependent privacy. Compare standard and advanced composition techniques, and examine an example of advanced composition in action. Gain insights from authors representing institutions such as IMDEA Software Institute, ENS, University at Buffalo, Inria, and University of Pennsylvania as they present their research on enhancing privacy protection in computer and communication systems.

Intro
Composition Theorem
Recent Progress
Program Logic
Approximate Couplings
Interpretation
Proof Rules
Accuracy Dependent Privacy
Advanced Composition Theorem
Standard vs Advanced Composition
Advanced Composition
Example