Structure-aware CNF obfuscation for privacy-preserving SAT solving.
Ying QinShengYu ShenYan JiaPublished in: MEMOCODE (2014)
Keyphrases
- privacy preserving
- sat solving
- data transformation
- privacy preserving data mining
- sat solvers
- vertically partitioned data
- privacy preservation
- data privacy
- privacy protection
- boolean satisfiability
- privacy concerns
- sat problem
- privacy sensitive
- multi party
- private information
- sensitive information
- sensitive data
- private data
- secure multiparty computation
- search tree
- horizontally partitioned data