Fuzzi: a three-level logic for differential privacy.

Hengchu Zhang Edo Roth Andreas Haeberlen Benjamin C. Pierce Aaron Roth

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

differential privacy
differentially private
privacy preserving
privacy preserving data mining algorithms
private data
data sets
data sharing
information systems
business intelligence
third party
data access
data privacy
privacy preservation
privacy guarantees