Concurrent Composition Theorems for all Standard Variants of
Differential Privacy
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 -DP with , R\`enyi DP, and -DP, thus answering the open question by \cite{vadhan2021concurrent}. For -DP, which captures -DP as a special case, we prove the concurrent composition theorems by showing that every interactive -DP mechanism can be simulated by interactive post-processing of a non-interactive -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