103 citations · 197 across the 16 of their papers we have counts for
1 paper · 2 filters
Yuxin Wang, Zeyu Ding, Daniel Kifer +1
We propose CheckDP, the first automated and integrated approach for proving or disproving claims that a mechanism is differentially private. CheckDP can find counterexamples for me…