Formal Verification of Differential Privacy for Interactive Systems
Michael Carl TschantzDilsun Kirli KaynarAnupam DattaPublished in: CoRR (2011)
Keyphrases
- interactive systems
- formal verification
- differential privacy
- differentially private
- model checking
- privacy preserving
- human computer interaction
- private data
- privacy guarantees
- tabular data
- automated verification
- model checker
- privacy preservation
- data sharing
- privacy preserving data mining algorithms
- data privacy
- user interface
- personal information
- web search
- search logs
- knowledge base
- anonymized data
- privacy preserving data mining
- machine learning
- data access
- cloud computing
- object oriented
- relational databases
- search engine
- information retrieval