466 citations · 1.6k across the 73 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…