4,065 research outputs found
Recommended from our members
ORACLE GUIDED INCREMENTAL SAT SOLVING TO REVERSE ENGINEER CAMOUFLAGED CIRCUITS
This study comprises two tasks. The ļ¬rst is to implement gate-level circuit camouļ¬age techniques. The second is to implement the Oracle-guided incremental de-camouļ¬age algorithm and apply it to the camouļ¬aged designs.
The circuit camouļ¬age algorithms are implemented in Python, and the Oracle- guided incremental de-camouļ¬age algorithm is implemented in C++. During this study, I evaluate the Oracle-guided de-camouļ¬age tool (Solver, in short) performance by de-obfuscating the ISCAS-85 combinational benchmarks, which are camouļ¬aged by the camouļ¬age algorithms. The results show that Solver is able to eļ¬ciently de-obfuscate the ISCAS-85 benchmarks regardless of camouļ¬aging style, and is able to do so 10.5x faster than the best existing approaches. And, based on Solver, this study also measures the de-obfuscation runtime for each camouļ¬age style
- ā¦