SMARTLock: SAT Attack and Removal Attack-Resistant Tree-Based Logic Locking

Yung-Chih CHEN  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E103-A   No.5   pp.733-740
Publication Date: 2020/05/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.2019EAP1055
Type of Manuscript: PAPER
Category: VLSI Design Technology and CAD
Keyword: 
logic encryption,  IC camouflaging,  IC protection,  SAT attack,  

Full Text: PDF(561.9KB)>>
Buy this Article




Summary: 
Logic encryption is an IC protection technique which inserts extra logic and key inputs to hide a circuit's functionality. An encrypted circuit needs to be activated with a secret key for being functional. SAT attack and Removal attack are two most advanced decryption methods that have shown their effectiveness to break most of the existing logic encryption methods within a few hours. In this paper, we propose SMARTLock, a SAT attack and reMoval Attack-Resistant Tree-based logic Locking method, for resisting them simultaneously. To encrypt a circuit, the method finds large AND and OR functions in it and encrypts them by inserting duplicate tree functions. There are two types of structurally identical tree encryptions that aim to resist SAT attack and Removal attack, respectively. The experimental results show that the proposed method is effective for encrypting a set of benchmarks from ISCAS'85, MCNC, and IWLS. 16 out of 40 benchmarks encrypted by the proposed method with the area overhead of no more than 5% are uncrackable by SAT attack within 5 hours. Additionally, compared to the state-of-the-art logic encryption methods, the proposed method provides better security for most benchmarks.