Probabilistic Relational Reasoning for Differential Privacy.
Gilles BartheBoris KöpfFederico OlmedoSantiago Zanella BéguelinPublished in: ACM Trans. Program. Lang. Syst. (2013)
Keyphrases
- probabilistic relational
- differential privacy
- differentially private
- privacy preserving
- private data
- privacy guarantees
- privacy preservation
- tabular data
- privacy preserving data mining algorithms
- knowledge representation
- information retrieval
- personal information
- data sharing
- data collection
- first order logic
- probabilistic reasoning