Keyphrases
- formal verification
- differential privacy
- differentially private
- model checking
- privacy preserving
- private data
- privacy guarantees
- privacy preserving data mining algorithms
- privacy preservation
- tabular data
- model checker
- bounded model checking
- symbolic model checking
- personal information
- data privacy
- automated verification
- data sharing
- anonymized data
- third party
- digital libraries
- databases