Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


Dissertation_Final_Taylor.pdf (11.32 MB)

ETD Abstract Container

Abstract Header

A Security Framework for Logic Locking Through Local and Global Structural Analysis

Taylor, Christopher P
http://rave.ohiolink.edu/etdc/view?acc_num=osu1587681912604658

Abstract Details

2020, Doctor of Philosophy, Ohio State University, Electrical and Computer Engineering.
With the globalization of the semiconductor industry and increased reliance on intellectual property (IP) blocks in integrated circuit (IC) design; malicious modifications, IP theft, and cloning have started to pose a significant economic and security threat. To mitigate this risk, logic locking (LL) techniques have been proposed to obscure the chip functionality and increase the difficulty to insert a trigger-based change via a hardware trojan. This is accomplished through the introduction of localized key gates, which corrupt the IC's function unless the correct key is supplied. The effectiveness of any LL technique, however, depends on the target design, the extent of locking, and where the locking elements are placed. Current attacks on LL focus primarily on Boolean satisfiability problem (SAT) solvers, which require the use of a fully operational chip (oracle) and rely solely on the input and output data through functional testing. To the authors' best knowledge, no current attacks exploit the design's underlying structure, vast amount of repetition, or circuit reuse. In this work, we propose a systematic method, borrowed from the network analysis domain, to analyze and exploit the local and global structure of circuits. The methods presented in this work demonstrates that LL minimally effects the underlying structure, allowing for circuit identification and key bit prediction without the need of an oracle. Moreover, this work also presents a framework in which to capture the security level of LL based on the amount of information leakage through our analysis techniques. Additionally, the framework can be expanded to incorporate other attack methods to create an overall security assessment of any implemented LL. To this end, the analyses and theory introduced in this work demonstrate the need for new comprehensive LL techniques, and proposes the method in which to validate their security.
Waleed Khalil, PhD (Advisor)
Hesham El Gamal, PhD (Committee Member)
Xinmiao Zhang, PhD (Committee Member)
Radu Teodorescu, PhD (Committee Member)
132 p.
Computer Engineering; Electrical Engineering
Hardware Security; Logic Locking; Obfuscation; Function Locking; Hardware Trojan; Intellectual Property Theft; Structural Analysis; Security Metric

Recommended Citations

Citations

  • Taylor, C. P. (2020). A Security Framework for Logic Locking Through Local and Global Structural Analysis [Doctoral dissertation, Ohio State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=osu1587681912604658

    APA Style (7th edition)

  • Taylor, Christopher. A Security Framework for Logic Locking Through Local and Global Structural Analysis. 2020. Ohio State University, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=osu1587681912604658.

    MLA Style (8th edition)

  • Taylor, Christopher. "A Security Framework for Logic Locking Through Local and Global Structural Analysis." Doctoral dissertation, Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1587681912604658

    Chicago Manual of Style (17th edition)

osu1587681912604658
257
© 2020, some rights reserved.Creative Commons License A Security Framework for Logic Locking Through Local and Global Structural Analysis by Christopher P Taylor is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License. Based on a work at etd.ohiolink.edu.
This open access ETD is published by The Ohio State University and OhioLINK.