SARLock: SAT attack resistant logic locking.
Muhammad YasinBodhisatwa MazumdarJeyavijayan (JV) RajendranOzgur SinanogluPublished in: HOST (2016)
Keyphrases
- concurrency control
- satisfiability problem
- multi valued
- countermeasures
- logic programming
- sat solving
- classical logic
- automated reasoning
- sat solvers
- modal logic
- search algorithm
- phase transition
- data objects
- max sat
- computational properties
- propositional satisfiability
- randomly generated
- secret key
- logical framework
- orders of magnitude
- sat instances
- stochastic local search
- stochastic local search algorithms
- quantifier free