Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits.
Cunxi YuXiangyu ZhangDuo LiuMaciej J. CiesielskiDaniel E. HolcombPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2017)
Keyphrases
- reverse engineering
- logic circuits
- low power
- software engineering
- software maintenance
- object oriented
- functional decomposition
- conceptual schema
- dynamic analysis
- gene regulatory networks
- tunnel diode
- business rules
- gate array
- reverse engineer
- low cost
- answer set programming
- logic synthesis
- program understanding
- high speed
- sat solvers
- bounded model checking
- database
- formal specification
- power consumption
- planning domains
- static analysis
- heuristic search
- image processing
- real time