Coupled Relational Symbolic Execution for Differential Privacy.
Gian Pietro FarinaStephen ChongMarco GaboardiPublished in: CoRR (2020)
Keyphrases
- symbolic execution
- differential privacy
- differentially private
- static analysis
- test data generation
- privacy preserving
- test generation
- private data
- source code
- privacy guarantees
- specification language
- privacy preservation
- relational databases
- data sharing
- data flow
- data model
- data privacy
- personal information
- fitness function
- case study