UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
On the Complexity of the Circuit Obfuscation Problem for Split Manufacturing
dc.contributor.author | El Massad, Mohamed | |
dc.date.accessioned | 2014-04-22 13:57:24 (GMT) | |
dc.date.available | 2014-04-22 13:57:24 (GMT) | |
dc.date.issued | 2014-04-22 | |
dc.date.submitted | 2014 | |
dc.identifier.uri | http://hdl.handle.net/10012/8335 | |
dc.description.abstract | Recent work in the area of computer hardware security introduced a number of interesting computational problems in the context of directed acyclic graphs (DAGs). In this thesis, we pick one of these problems, circuit obfuscation --- a combinatorial optimization problem --- and study its computational complexity. First, we prove that the problem is \cnph. Next, we show it to be in the class of MAX-SNP optimization problems, which means it is inapproximable within a certain constant (2.08) unless P=NP. We then use a reduction from the maximum common edge subgraph problem to prove a lower bound on the absolute error guarantee achievable for the problem by a polynomial-time algorithm. Given that the decision version of the problem is in NP, we investigate the possibility of efficiently solving the problem using a SAT solver and report on our results. Finally, we study a slightly modified version of the problem underlying a generalized hardware security technique and prove it to be NP-hard as well. | en |
dc.language.iso | en | en |
dc.publisher | University of Waterloo | en |
dc.title | On the Complexity of the Circuit Obfuscation Problem for Split Manufacturing | en |
dc.type | Master Thesis | en |
dc.pending | false | |
dc.subject.program | Electrical and Computer Engineering | en |
uws-etd.degree.department | Electrical and Computer Engineering | en |
uws-etd.degree | Master of Applied Science | en |
uws.typeOfResource | Text | en |
uws.peerReviewStatus | Unreviewed | en |
uws.scholarLevel | Graduate | en |