SRCLock：用于硬件保护的抗SAT循环逻辑锁定
密码学与安全
2018-04-25 v1
摘要
在本文中，我们指出，当循环混淆被恰当地实现时，会对SAT或CycSAT攻击造成指数级复杂度。CycSAT为了生成必要的循环规避子句，使用了一个预处理步骤。我们表明，该预处理步骤必须针对网表中的所有循环组合其循环规避条件，否则，遗漏的循环可能使SAT求解器陷入无限循环或迫使其返回错误的密钥。接着，我们提出了若干技术，使循环数量相对于插入的反馈数量呈指数增长。我们进一步说明，当反馈数量增加时，CycSAT的预处理步骤在复杂度和运行时间上面临指数增长，使其在调用SAT求解器之前无法在合理时间内正确组合循环规避子句。另一方面，若预处理未正确完成，SAT求解器将卡住或返回错误密钥。因此，当按照本文提出的条件实现循环混淆时，即使使用CycSAT方案，也会相对于插入的反馈数量产生指数级复杂度。
引用
@article{arxiv.1804.09162,
title = {SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware},
author = {Shervin Roshanisefat and Hadi Mardani Kamali and Avesta Sasan},
journal= {arXiv preprint arXiv:1804.09162},
year = {2018}
}