Off-campus UMass Amherst users: To download campus access dissertations, please use the following link to log into our proxy server with your UMass Amherst user name and password.
Non-UMass Amherst users: Please talk to your librarian about requesting this dissertation through interlibrary loan.
Dissertations that have an embargo placed on them will not be available to anyone until the embargo expires.
Open Access Thesis
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.