Fa-SAT: Fault-aided SAT-based Attack on Compound Logic Locking Techniques.
Nimisha LimayeSatwik PatnaikOzgur SinanogluPublished in: DATE (2021)
Keyphrases
- sat solvers
- boolean satisfiability
- bounded model checking
- sat encodings
- fault model
- fault injection
- sat problem
- fault detection
- search strategies
- fault diagnosis
- logic programming
- orders of magnitude
- constraint satisfaction
- answer set programming
- modal logic
- sat instances
- max sat
- countermeasures
- probabilistic planning
- propositional satisfiability
- classical planning
- search algorithm
- satisfiability problem
- randomly generated
- quantifier free
- automated reasoning
- database systems
- search space
- model checking
- domain independent
- concurrency control
- constraint solver
- answer sets
- branch and bound algorithm
- planning problems
- linear temporal logic
- stochastic local search algorithms
- integer linear programming
- computational properties