222

Concurrent Composition Theorems for all Standard Variants of Differential Privacy

Symposium on the Theory of Computing (STOC), 2022
Abstract

We study the concurrent composition properties of interactive differentially private mechanisms, whereby an adversary can arbitrarily interleave its queries to the different mechanisms. We prove that all composition theorems for non-interactive differentially private mechanisms extend to the concurrent composition of interactive differentially private mechanisms for all standard variants of differential privacy including (\eps,δ)(\eps,\delta)-DP with δ>0\delta>0, R\`enyi DP, and ff-DP, thus answering the open question by \cite{vadhan2021concurrent}. For ff-DP, which captures (\eps,δ)(\eps,\delta)-DP as a special case, we prove the concurrent composition theorems by showing that every interactive ff-DP mechanism can be simulated by interactive post-processing of a non-interactive ff-DP mechanism. For R\`enyi DP, we use a different approach by showing a triangle-like inequality of R\`enyi divergence in the special setting of concurrent interaction.

View on arXiv
Comments on this paper