CycSAT: SAT-based attack on cyclic logic encryptions
CycSAT: SAT-based attack on cyclic logic encryptions
复制标题
DOI：
10.1109/iccad.2017.8203759
复制
发表时间：
2017-11
期刊：
影响因子：
--
通讯作者：
H. Zhou;Ruifeng Jiang;Shuyu Kong
中科院分区：
文献类型：
--
作者：
H. Zhou;Ruifeng Jiang;Shuyu Kong
循环逻辑加密是一种新提出的硬件安全电路混淆技术。它被声称是SAT无法解析的，因为反馈周期被故意插入到加密的密钥下。我们在论文中表明，即使反馈周期给攻击者带来额外的困难，它们仍然可以用基于SAT的技术来克服。具体地说，我们提出了基于SAT的CycSAT算法，具有不同的非循环条件，可以有效地解密循环数据。实验结果表明，我们的CycSAT是有效的和有效的解密循环密码，我们需要开发新的密码具有更好的安全性能。
Cyclic logic encryption is a newly proposed circuit obfuscation technique in hardware security. It was claimed to be SAT-unresolvable because feedback cycles were intentionally inserted under keys into the encryption. We show in the paper that even though feedback cycles introduce extra difficulty for an attacker, they can still be overcome with SAT-based techniques. Specifically, we propose CycSAT Algorithms based on SAT with different acyclic conditions that can efficiently decrypt cyclic encryptions. Experimental results have shown that our CycSAT is efficient and effective to decrypt cyclic encryptions, and we need to develop new encryptions with better security properties.