CENSOR: Privacy-preserving Obfuscation for Outsourcing SAT formulas.
Tassos DimitriouKhazam AlhamdanPublished in: TrustCom (2023)
Keyphrases
- privacy preserving
- data transformation
- privacy preserving data mining
- data providers
- propositional formulas
- data privacy
- sat solvers
- privacy preservation
- cnf formula
- satisfiability problem
- boolean formula
- multi party
- propositional satisfiability
- vertically partitioned data
- sat problem
- service providers
- data perturbation
- privacy protection
- private information
- sensitive information
- information systems
- preserving privacy
- secure multiparty computation
- privacy issues
- privacy guarantees
- record linkage
- differential privacy
- personal data
- privacy concerns
- normal form
- privacy sensitive
- partitioned data
- privacy preserving association rule mining
- scalar product
- location privacy
- privacy requirements
- horizontally partitioned
- naive bayesian classification
- knowledge discovery