Generalized SAT-Attack-Resistant Logic Locking.
Jingbo ZhouXinmiao ZhangPublished in: IEEE Trans. Inf. Forensics Secur. (2021)
Keyphrases
- satisfiability problem
- logic programming
- multi valued
- sat solvers
- modal logic
- search algorithm
- concurrency control
- phase transition
- classical logic
- quantifier free
- database systems
- sat solving
- fine granularity
- asynchronous circuits
- boolean satisfiability
- truth values
- stochastic local search
- countermeasures
- state space