DFSSD：深层故障与浅层状态对偶性，一种针对扫描链受限访问电路的可证明强混淆方案
密码学与安全
2020-02-20 v1
摘要
在本文中，我们提出 DFSSD，一种针对扫描链访问受限（锁定）的时序与 FSM 电路的新逻辑锁定方案。DFSSD 结合了两种混淆技术：（1）深层故障，与（2）浅层状态对偶性。两种技术均专为抵抗基于有界模型检验的时序 SAT 攻击而设计。浅层状态对偶性防止时序 SAT 攻击在不运行穷举无界模型检验器以评估攻击可否终止的情况下走捷径提前终止。另一方面，深层故障为设计者提供了一种构建深层但仍可密钥恢复的故障的技术，此类故障无法在合理时间内被时序 SAT（及基于有界模型检验器）攻击发现。
引用
@article{arxiv.2002.07857,
title = {DFSSD: Deep Faults and Shallow State Duality, A Provably Strong Obfuscation Solution for Circuits with Restricted Access to Scan Chain},
author = {Shervin Roshanisefat and Hadi Mardani Kamali and Kimia Zamiri Azar and Sai Manoj Pudukotai Dinakarrao and Naghmeh Karimi and Houman Homayoun and Avesta Sasan},
journal= {arXiv preprint arXiv:2002.07857},
year = {2020}
}