Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation.
Amin RezaeiYuanqi ShenHai ZhouPublished in: DATE (2020)
Keyphrases
- sat solvers
- quantifier free
- multi valued
- reverse engineering
- satisfiability problem
- modal logic
- logic programming
- automated reasoning
- database systems
- classical logic
- phase transition
- data objects
- stochastic local search algorithms
- rewrite systems
- search strategies
- big data
- logic programs
- search algorithm
- information hiding
- propositional satisfiability
- encryption algorithms