LightDP: Towards Automating Differential Privacy Proofs
Publication
, Preprint
Zhang, D; Kifer, D
July 27, 2016
Duke Scholars
Publication Date
July 27, 2016
Citation
APA
Chicago
ICMJE
MLA
NLM
Zhang, D., & Kifer, D. (2016). LightDP: Towards Automating Differential Privacy Proofs.
Zhang, Danfeng, and Daniel Kifer. “LightDP: Towards Automating Differential Privacy Proofs,” July 27, 2016.
Zhang D, Kifer D. LightDP: Towards Automating Differential Privacy Proofs. 2016.
Zhang, Danfeng, and Daniel Kifer. LightDP: Towards Automating Differential Privacy Proofs. 27 July 2016.
Zhang D, Kifer D. LightDP: Towards Automating Differential Privacy Proofs. 2016.
Publication Date
July 27, 2016