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: CoRR (2014)

Keyphrases

differential privacy
differentially private
privacy preserving
private data
privacy guarantees
tabular data
privacy preserving data mining algorithms
privacy preservation
data privacy
data sharing
databases
privacy preserving data mining
database
information retrieval systems