Proving Differential Privacy in Hoare Logic.

Gilles Barthe Marco Gaboardi Emilio Jesús Gallego Arias Justin Hsu César Kunz Pierre-Yves Strub

Published in: CSF (2014)

Keyphrases

differential privacy
differentially private
privacy preserving
private data
tabular data
privacy guarantees
data sharing
privacy preservation
privacy preserving data mining algorithms
data privacy
personal information
information retrieval
data collection
privacy protection