Concurrent Composition Theorems for Differential Privacy. (arXiv:2207.08335v3 [cs.DS] UPDATED)

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 $(\eps,\delta)$-DP as a special case. We prove
the concurrent composition theorem by showing that every interactive $f$-DP
mechanism can be simulated …

adversary case delta differential privacy eps framework non privacy private prove special standard study testing testing framework