Campus-Only Access for One (1) Year
Electrical & Computer Engineering
Master of Science in Electrical and Computer Engineering (M.S.E.C.E.)
Year Degree Awarded
Month Degree Awarded
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.
zhang, xiangyu, "ORACLE GUIDED INCREMENTAL SAT SOLVING TO REVERSE ENGINEER CAMOUFLAGED CIRCUITS" (2017). Masters Theses. 551.
Available for download on Saturday, September 01, 2018