SCRAMBLE：用于构建逻辑加密的状态、连接和路由增强模型
密码学与安全
2020-05-26 v1
摘要
在本文中，我们介绍了 SCRAMBLE，作为一种在扫描链访问受限的情况下用于时序电路的新型逻辑锁定解决方案。SCRAMBLE 可用于通过将有限状态机 (FSM) 的状态转移图 (STG) 隐藏在大量密钥控制的错误转移中来锁定 FSM。此外，它还可用于通过将时序路径的连接性隐藏在大量密钥控制的错误连接中来锁定时序电路（时序数据通路）。此外，SCRAMBLE 的结构允许我们将此方案作为一种新的扫描链锁定解决方案，通过将正确的扫描链序列隐藏在大量密钥控制的错误序列中。我们证明了所提出的方案能够抵抗 (1) 针对 FSM 的两阶段攻击，以及 (2) 与展开和限界模型检查相结合的 SAT 攻击。我们讨论了 SCRAMBLE 的两种变体：(I) 连接 SCRAMBLE (SCRAMBLE-C) 和 (b) 逻辑 SCRAMBLE (SCRAMBLE-L)。SCRAMBLE-C 依赖于使用近非阻塞对数交换网络构建的 SAT-hard 和密钥控制模块。SCRAMBLE-L 使用输入复用技术将 FSM 的一部分隐藏在存储器中。在结果部分，我们描述了每种变体针对最先进攻击的有效性。
引用
@article{arxiv.2005.11789,
title = {SCRAMBLE: The State, Connectivity and Routing Augmentation Model for Building Logic Encryption},
author = {Hadi Mardani Kamali and Kimia Zamiri Azar and Houman Homayoun and Avesta Sasan},
journal= {arXiv preprint arXiv:2005.11789},
year = {2020}
}