Abstract:The problem of privacy-preserving data analysis has a long history spanning multiple disciplines. As electronic data about individuals becomes increasingly detailed, and as technology enables ever more powerful collection and curation of these data, the need increases for a robust, meaningful, and mathematically rigorous definition of privacy, together with a computationally rich class of algorithms that satisfy this definition. Differential Privacy is such a definition. After motivating and discussing the meaning of differential privacy, the preponderance of this monograph is devoted to fundamental techniques for achieving differential privacy, and application of these techniques in creative combinations, using the query-release problem as an ongoing example. A key point is that, by rethinking the computational goal, one can often obtain far better results than would be achieved by methodically replacing each step of a non-private computation with a differentially private implementation. Despite some astonishingly powerful computational results, there are still fundamental limitations — not just on what can be achieved with differential privacy but on what can be achieved with any method that protects against a complete breakdown in privacy. Virtually all the algorithms discussed herein maintain differential privacy against adversaries of arbitrary computational power. Certain algorithms are computationally intensive, others are efficient. Computational complexity for the adversary and the algorithm are both discussed. We then turn from fundamentals to applications other than queryrelease, discussing differentially private methods for mechanism design and machine learning. The vast majority of the literature on differentially private algorithms considers a single, static, database that is subject to many analyses. Differential privacy in other models, including distributed databases and computations on data streams is discussed. Finally, we note that this work is meant as a thorough introduction to the problems and techniques of differential privacy, but is not intended to be an exhaustive survey — there is by now a vast amount of work in differential privacy, and we can cover only a small portion of it.

Debugging Differential Privacy: A Case Study for Privacy Auditing

Tight Auditing of Differentially Private Machine Learning

A General Framework for Auditing Differentially Private Machine Learning

Auditing $f$-Differential Privacy in One Run

Auditing Differentially Private Machine Learning: How Private is Private SGD?

Nearly Tight Black-Box Auditing of Differentially Private Machine Learning

Curator Attack: When Blackbox Differential Privacy Auditing Loses Its Power

Auditing Private Prediction

Privacy Auditing with One (1) Training Run

The Last Iterate Advantage: Empirical Auditing and Principled Heuristic Analysis of Differentially Private SGD

Auditing Differential Privacy Guarantees Using Density Estimation

Revealing the True Cost of Locally Differentially Private Protocols: An Auditing Perspective

Adversarial Sample-Based Approach for Tighter Privacy Auditing in Final Model-Only Scenarios

Proving differential privacy in Hoare logic

Deciding Differential Privacy for Programs with Finite Inputs and Outputs

Unleashing the Power of Randomization in Auditing Differentially Private ML

DP-Auditorium: a Large Scale Library for Auditing Differential Privacy

A Game-Theoretic Analysis of Auditing Differentially Private Algorithms with Epistemically Disparate Herd

Guidelines for Implementing and Auditing Differentially Private Systems

CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples

The Algorithmic Foundations of Differential Privacy