Synthesizing coupling proofs of differential privacy.
Aws AlbarghouthiJustin HsuPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- differential privacy
- differentially private
- privacy preserving
- private data
- privacy guarantees
- tabular data
- data sharing
- privacy preserving data mining algorithms
- data privacy
- privacy preservation
- database systems
- anonymized data
- personal information
- information retrieval
- privacy preserving data mining
- data management
- data sources
- digital libraries
- search engine