Quantifying Information Leakage Using Model Counting Constraint Solvers.
Tevfik BultanPublished in: VSTTE (2019)
Keyphrases
- information leakage
- model counting
- constraint solvers
- constraint programming
- constraint solving
- constraint satisfaction problems
- personal information
- constraint propagation
- constraint solver
- knowledge compilation
- combinatorial problems
- solving problems
- satisfiability testing
- polynomial size
- sensitive information
- secret information
- constraint satisfaction
- propositional formulas
- constraint problems
- np hard
- propositional satisfiability
- propositional logic
- privacy preserving
- third party