CycSAT-unresolvable cyclic logic encryption using unreachable states
CycSAT-unresolvable cyclic logic encryption using unreachable states
复制标题
CycSAT-使用不可达状态的不可解析循环逻辑加密
DOI：
10.1145/3287624.3287691
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Zhou, Hai
中科院分区：
文献类型：
--
作者：
Rezaei, Amin;Li, You;Shen, Yuanqi;Kong, Shuyu;Zhou, Hai
由于IC设计成本的增加和越来越多的不可信代工厂，逻辑加密引起了人们的广泛关注。设计中的不可达状态为逻辑加密提供了一个灵活的探索空间。然而，由于扫描链的可用访问，传统的组合加密无法利用这种灵活性的好处。循环逻辑加密将密钥控制的反馈插入到原始电路中，以防止盗版和生产过剩。基于我们的发现，循环逻辑加密可以利用不可达状态来提高安全性。尽管循环加密容易受到一个强大的攻击，称为CycSAT，我们开发了一种新的循环加密方式，利用不可达的状态，以击败CycSAT。讨论了该方案的攻击复杂度，并证明了其鲁棒性。
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.