CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples

Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Scopus citations

Fingerprint

Dive into the research topics of 'CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples'. Together they form a unique fingerprint.

Engineering & Materials Science