Journal article
Synthesis of Hidden State Transitions for Sequential Logic Locking
IEEE transactions on computer-aided design of integrated circuits and systems, v 40(1)
Jan 2021
Abstract
Oracle guided attacks, such as the satisfiability attack, are a significant concern when obfuscating an integrated circuit (IC). Partitioned finite state machine (FSM) based sequential logic locking techniques are much more resilient to oracle guided attacks due to the differences in the state space between the oracle and the IC under attack. However, susceptibility to structural attacks and the extraction of the transition state between the obfuscated and functional modes of an FSM threaten the efficacy of sequential logic locking. Therefore, a methodology to synthesize hidden state transitions (HSTs) into an FSM within an IC is developed. HSTs and logic cone modifications are utilized to further enhance the security of sequentially locked circuits by increasing the number of paths an adversary must search and reducing the susceptibility to structural attacks. An algorithm to insert hidden transitions and logic cone modifications into a netlist is developed that results in an average overhead of 6.79% in area, 7.78% in power, and 8.28% in performance across all of the ISCAS'89 sequential benchmark circuits. To modify the logic cone with two altered minterms, the average increase in area and power, beyond what is needed for the implementation of HSTs, is 26.46% and 30.30%, respectively, with no additional overhead in performance.
Metrics
Details
- Title
- Synthesis of Hidden State Transitions for Sequential Logic Locking
- Creators
- Kyle Juretus - Drexel UniversityIoannis Savidis - Drexel University
- Publication Details
- IEEE transactions on computer-aided design of integrated circuits and systems, v 40(1)
- Publisher
- IEEE
- Grant note
- CNS-1751032 / National Science Foundation (10.13039/100000001) FA8075-14-D0025/DSTAT-15-1196 / Air Force Research Laboratory (10.13039/100006602) Air Force Office of Scientific Research, National Defense Science and Engineering Graduate Fellowship, 32 CFR 168a, Drexel Ventures Innovation Fund (10.13039/100000181)
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Electrical and Computer Engineering
- Web of Science ID
- WOS:000604874900002
- Scopus ID
- 2-s2.0-85099056976
- Other Identifier
- 991019168739704721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Engineering, Electrical & Electronic