Cryptology ePrint Archive: Report 2019/060

CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States

Amin Rezaei and You Li and Yuanqi Shen and Shuyu Kong and Hai Zhou

Abstract: Logic encryption has attracted much attention due to increasing IC design costs and growing number of untrusted foundries. Unreachable states in a design provide a space of flexibility for logic encryption to explore. However, due to the available access of scan chain, traditional combinational encryption cannot leverage the benefit of such flexibility. Cyclic logic encryption inserts key-controlled feedbacks into the original circuit to prevent piracy and overproduction. Based on our discovery, cyclic logic encryption can utilize unreachable states to improve security. Even though cyclic encryption is vulnerable to a powerful attack called CycSAT, we develop a new way of cyclic encryption by utilizing unreachable states to defeat CycSAT. The attack complexity of the proposed scheme is discussed and its robustness is demonstrated.

Category / Keywords: applications / logic encryption, SAT-based attack, cyclic circuit, state machine

Original Publication (with minor differences): Asia South Pacific Design Automation Conference

Date: received 18 Jan 2019

Contact author: haizhou at northwestern edu

Available format(s): PDF | BibTeX Citation

Version: 20190125:215706 (All versions of this report)

Short URL: ia.cr/2019/060


[ Cryptology ePrint archive ]