| Title | Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Chowdhury, Subhajit Dutta, Zhang, Gengyu, Hu, Yinghua, Nuzzo, Pierluigi |
| Conference Name | 2021 IEEE International Symposium on Circuits and Systems (ISCAS) |
| Date Published | may |
| Keywords | Integrated circuit modeling, logic locking, LUT-based obfuscation, Observability, pubcrawl, Reconfigurable Logic, resilience, Resiliency, reverse engineering, Routing, SAT-based attack, security, Switching circuits, Table lookup |
| Abstract | Logic locking is a well-explored defense mechanism against various types of hardware security attacks. Recent approaches to logic locking replace portions of a circuit with reconfigurable blocks such as look-up tables (LUTs) and switch boxes (SBs) to primarily achieve logic and routing obfuscation, respectively. However, these techniques may incur significant design overhead, and methods that can mitigate the implementation cost for a given security level are desirable. In this paper, we address this challenge by proposing an algorithm for deciding the location and inputs of the LUTs in LUT-based obfuscation to enhance security and reduce design overhead. We then introduce a locking method that combines LUTs with SBs to further robustify LUT-based obfuscation, largely independently of the specific LUT locations. We illustrate the effectiveness of the proposed approaches on a set of ISCAS benchmark circuits. |
| DOI | 10.1109/ISCAS51556.2021.9401458 |
| Citation Key | chowdhury_enhancing_2021 |
Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation