Concurrent Composition Theorems for Differential Privacy

07/18/2022
by   Salil Vadhan, et al.
0

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, whenever differential privacy is measured using the hypothesis testing framework of f-DP, which captures standard (,δ)-DP as a special case. We prove the concurrent composition theorem by showing that every interactive f-DP mechanism can be simulated by interactive post-processing of a non-interactive f-DP mechanism. In concurrent and independent work, Lyu <cit.> proves a similar result to ours for (,δ)-DP, as well as a concurrent composition theorem Rènyi DP (which we also claimed in an earlier version of this paper, but with an incorrect proof). Lyu leaves the general case of f-DP as an open problem, which we solve in this paper.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset