@inproceedings{773edaf6e87642a8a62da47f89803c2f,
title = "CyCsat-unresolvable cyclic logic encryption using unreachable states",
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.",
keywords = "CycSAT Attack, Cyclic Logic Encryption, Unreachable States",
author = "Amin Rezaei and You Li and Yuanqi Shen and Shuyu Kong and Hai Zhou",
note = "Publisher Copyright: {\textcopyright} 2019 Association for Computing Machinery.; 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 ; Conference date: 21-01-2019 Through 24-01-2019",
year = "2019",
month = jan,
day = "21",
doi = "10.1145/3287624.3287691",
language = "English (US)",
series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "394--399",
booktitle = "ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference",
address = "United States",
}