LightDP: towards automating differential privacy proofs.

Danfeng Zhang Daniel Kifer

Published in: POPL (2017)

Keyphrases

differential privacy
differentially private
privacy preserving
private data
privacy guarantees
tabular data
data sharing
privacy preservation
privacy preserving data mining algorithms
personal information
search engine
data privacy
website
search logs