CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples.
Yuxin WangZeyu DingDaniel KiferDanfeng ZhangPublished in: CCS (2020)
Keyphrases
- differential privacy
- differentially private
- private data
- tabular data
- privacy preserving
- privacy preservation
- databases
- personal information
- privacy guarantees
- privacy preserving data mining algorithms
- anonymized data
- data quality
- database
- privacy protection
- study proposes
- co occurrence
- information systems
- data sets