activity
20182023
most citedDetecting Violations of Differential Privacy

103 citations · 151 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CR2023

A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism

Zeyu Ding, John Durrell, Daniel Kifer +5

The Noisy Max mechanism and its variations are fundamental private selection algorithms that are used to select items from a set of candidates (such as the most common diseases in…

cs.CR2022★ 1 cited

Answering Private Linear Queries Adaptively using the Common Mechanism

Yingtai Xiao, Guanhong Wang, Danfeng Zhang +1

When analyzing confidential data through a privacy filter, a data scientist often needs to decide which queries will best support their intended analysis. For example, an analyst m…

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.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…

cs.CR2018★ 103 cited

Detecting Violations of Differential Privacy

Zeyu Ding, Yuxin Wang, Guanhong Wang +2

The widespread acceptance of differential privacy has led to the publication of many sophisticated algorithms for protecting privacy. However, due to the subtle nature of this priv…