Proving differential privacy with shadow execution.

Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang

Browse the full PLDI paper archive.