Date of Graduation


Document Type


Degree Name

Master of Science in Computer Engineering (MSCmpE)

Degree Level



Computer Science & Computer Engineering


Jia Di

Committee Member

Panda, Brajendra

Second Committee Member

Gauch, John


Checking, Hardware, Structural, Trojan


With the growth of the integrated circuit (IC) market, there has also been a rise in demand for third-party soft intellectual properties (IPs). However, the growing use of such Ips makes it easier for adversaries to hide malicious code, like hardware Trojans, into these designs. Unlike software Trojan detection, hardware Trojan detection is still an active research area. One proposed approach to this problem is the Structural Checking tool, which can detect hardware Trojans using two methodologies. The first method is a matching process, which takes an unknown design and attempts to determine if it might contain a Trojan by matching the unknown design to designs in a Golden Reference Library (GRL). The other method is interpreting structural elements of specific Trojan taxonomies via the use of Trojan detection functions, which is what this thesis research expands upon. The objective of this research is to enhance the tool’s capabilities by incorporating three additional Trojan taxonomies into the list of detectable Trojans through the implementation of new Trojan detection functions. This expansion to the Structural Checking tool is achieved through the study of sensitive data leakage Trojans, data modification Trojans, and denial-of-service Trojans.