Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits.
Duo LiuCunxi YuXiangyu ZhangDaniel E. HolcombPublished in: DATE (2016)
Keyphrases
- sat solving
- logic circuits
- reverse engineer
- reverse engineering
- low power
- sat solvers
- source code
- boolean satisfiability
- tunnel diode
- sat problem
- low cost
- database
- power consumption
- oracle database
- high speed
- orders of magnitude
- np complete
- object oriented
- logical design
- max sat
- clause learning
- probabilistic planning
- sat encodings
- lower bound
- case study