Coupled Relational Symbolic Execution for Differential Privacy.
Gian Pietro FarinaStephen ChongMarco GaboardiPublished in: ESOP (2021)
Keyphrases
- differential privacy
- symbolic execution
- differentially private
- test generation
- static analysis
- privacy preserving
- test data generation
- private data
- source code
- privacy guarantees
- specification language
- privacy preservation
- data flow
- relational databases
- data model
- personal information
- data sharing
- privacy preserving data mining
- test cases
- web search
- database systems
- data privacy
- data sets
- software systems
- simulated annealing
- open source
- evolutionary algorithm