LightDP: towards automating differential privacy proofs.

Danfeng Zhang, Daniel Kifer

Browse the full POPL paper archive.