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

Yuxin Wang, Zeyu Ding, Daniel Kifer, Danfeng Zhang

Browse the full CCS paper archive.