Privacy-Preserving SAT Solving Based on Projection-Equivalence CNF Obfuscation.
Ying QinXiao Yang ShenZhen Yue DuPublished in: CSS (2018)
Keyphrases
- sat solving
- privacy preserving
- data transformation
- sat solvers
- privacy preserving data mining
- privacy preservation
- data privacy
- sat problem
- boolean satisfiability
- vertically partitioned data
- sensitive information
- privacy protection
- horizontally partitioned data
- privacy concerns
- max sat
- sensitive data
- private information
- search space
- information retrieval
- orders of magnitude
- scalar product
- secure multiparty computation
- privacy sensitive
- constraint satisfaction