Detecting Violations of Differential Privacy. - Zeyu Ding 001; Yuxin Wang 004; Guanhong Wang; Danfeng Zhang; Daniel Kifer (CCS, 2018)

Proving differential privacy with shadow execution. - Yuxin Wang 004; Zeyu Ding 001; Guanhong Wang; Daniel Kifer; Danfeng Zhang (PLDI, 2019)

Free Gap Information from the Differentially Private Sparse Vector and Noisy Max Mechanisms. - Zeyu Ding 001; Yuxin Wang 004; Danfeng Zhang; Dan Kifer (Proc. VLDB Endow., 2019)

CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples. - Yuxin Wang 004; Zeyu Ding 001; Daniel Kifer; Danfeng Zhang (CCS, 2020)

DPGen: Automated Program Synthesis for Differential Privacy. - Yuxin Wang 004; Zeyu Ding 001; Yingtai Xiao; Daniel Kifer; Danfeng Zhang (CCS, 2021)

The Permute-and-Flip Mechanism is Identical to Report-Noisy-Max with Exponential Noise. - Zeyu Ding 001; Daniel Kifer; Sayed M. Saghaian N. E.; Thomas Steinke 002; Yuxin Wang 004; Yingtai Xiao; Danfeng Zhang (CoRR, 2021)

Optimizing Fitness-For-Use of Differentially Private Linear Queries. - Yingtai Xiao; Zeyu Ding 001; Yuxin Wang 004; Danfeng Zhang; Daniel Kifer (Proc. VLDB Endow., 2021)

A Floating-Point Secure Implementation of the Report Noisy Max with Gap Mechanism. - Zeyu Ding 001; John Durrell; Daniel Kifer; Prottay Protivash; Guanhong Wang; Yuxin Wang 004; Yingtai Xiao; Danfeng Zhang (CoRR, 2023)

Free gap estimates from the exponential mechanism, sparse vector, noisy max and related algorithms. - Zeyu Ding 001; Yuxin Wang 004; Yingtai Xiao; Guanhong Wang; Danfeng Zhang; Daniel Kifer (VLDB J., 2023)

Reconstruction Attacks on Aggressive Relaxations of Differential Privacy. - Prottay Protivash; John Durrell; Daniel Kifer; Zeyu Ding 001; Danfeng Zhang (J. Priv. Confidentiality, 2024)