47 citations · 90 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019
Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms
Zeyu Ding, Yuxin Wang, Danfeng Zhang +1
Noisy Max and Sparse Vector are selection algorithms for differential privacy and serve as building blocks for more complex algorithms. In this paper we show that both algorithms c…
cs.PL2019★ 47 cited
Proving Differential Privacy with Shadow Execution
Yuxin Wang, Zeyu Ding, Guanhong Wang +2
Recent work on formal verification of differential privacy shows a trend toward usability and expressiveness -- generating a correctness proof of sophisticated algorithm while mini…