A Black-Box Sensitization Attack on SAT-Hard Instances in Logic Obfuscation.
Isaac McDanielMichael ZuzakAnkur SrivastavaPublished in: ICCD (2022)
Keyphrases
- black box
- propositional satisfiability
- sat instances
- random instances
- stochastic local search
- phase transition
- random sat
- automated reasoning
- black boxes
- sat solvers
- white box
- computational properties
- satisfiability problem
- sat problem
- np complete problems
- search procedures
- randomly generated
- backtracking search
- hybrid systems
- logic programming
- integration testing
- candidate solutions
- truth assignment
- white box testing
- test cases
- search algorithm
- control flow
- reverse engineering
- lower bound
- boolean satisfiability
- search strategies
- constraint satisfaction
- neural network
- database