103 citations · 197 across the 16 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.DB2020
Free Gap Estimates from the Exponential Mechanism, Sparse Vector, Noisy Max and Related Algorithms
Zeyu Ding, Yuxin Wang, Yingtai Xiao +3
Private selection algorithms, such as the Exponential Mechanism, Noisy Max and Sparse Vector, are used to select items (such as queries with large answers) from a set of candidates…
cs.DB2020★ 2 cited
Optimizing Fitness-For-Use of Differentially Private Linear Queries
Yingtai Xiao, Zeyu Ding, Yuxin Wang +2
In practice, differentially private data releases are designed to support a variety of applications. A data release is fit for use if it meets target accuracy requirements for each…
cs.PL2020★ 33 cited
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples
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…