Deciding Differential Privacy for Programs with Finite Inputs and Outputs.

Gilles Barthe Rohit Chadha Vishal Jagannath A. Prasad Sistla Mahesh Viswanathan

Published in: LICS (2020)

Keyphrases

differential privacy
differentially private
privacy preserving
private data
privacy guarantees
privacy preserving data mining algorithms
tabular data
data sharing
anonymized data
data privacy
privacy preservation
privacy protection
personal information
website
distributed data
input data
data model