Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract).
Michael Carl TschantzDilsun Kirli KaynarAnupam DattaPublished in: MFPS (2011)
Keyphrases
- extended abstract
- interactive systems
- formal verification
- differential privacy
- differentially private
- model checking
- privacy preserving
- private data
- privacy guarantees
- human computer interaction
- data sharing
- model checker
- tabular data
- automated verification
- user interface
- privacy preservation
- data privacy
- privacy preserving data mining algorithms
- personal information
- website
- anonymized data
- learning systems
- information retrieval