KRATT：基于QBF辅助的逻辑锁定移除与结构分析攻击
密码学与安全
2023-11-13 v1
摘要
本文介绍了KRATT，一种针对最先进逻辑锁定技术（如单翻转与双翻转锁定技术，SFLT与DFLT）的移除与结构分析攻击。KRATT利用在硬件安全领域尚未广泛使用的强大量化布尔公式（QBF），首次找到了SFLT的密钥。它可在无预言机（OL）和预言机引导（OG）两种威胁模型下处理锁定电路。在OL威胁模型下，它修改锁定电路并使用一种著名的OL攻击来做出强猜测。在OG模型下，它使用结构分析技术识别有希望的保护输入模式，并利用预言机对其进行探索。在ISCAS'85、ITC'99和HeLLO: CTF'22基准上的实验结果表明，KRATT可在不到一分钟内使用QBF公式破解SFLT，在OL威胁模型下以高精度破译SFLT和DFLT的大量密钥输入，并能在OG威胁模型下轻松找到DFLT的密钥。结果表明，KRATT在解质量和运行时间方面均优于公开可用的OL和OG攻击。
引用
@article{arxiv.2311.05982,
title = {KRATT: QBF-Assisted Removal and Structural Analysis Attack Against Logic Locking},
author = {Levent Aksoy and Muhammad Yasin and Samuel Pagliarini},
journal= {arXiv preprint arXiv:2311.05982},
year = {2023}
}