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.