103 citations · 197 across the 16 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.NT2019★ 1 cited
Canonical Barsotti-Tate Groups of Finite Level
Zeyu Ding
Let be an algebraically closed field of characteristic . Let be such that . Let be a -divisible group of codimension and dimension…
cs.LG2019★ 1 cited
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…