TroLLoc：针对硬件木马实现 IC 安全收敛的逻辑锁定与布局硬化
密码学与安全
2024-05-10 v1 硬件体系结构
机器学习
摘要
由于成本效益，集成电路（IC）的供应链如今已大量外包。然而，让 IC 经过各种第三方供应商会引发许多安全威胁，如 IC 知识产权被盗或硬件木马插入，即恶意的电路修改。在这项工作中，我们主动且系统地保护 IC 的物理布局，以抵御设计后插入的木马。为此，我们提出了 TroLLoc，这是一种用于 IC 安全收敛的新颖方案，首次联合采用了逻辑锁定和布局硬化。TroLLoc 完全集成到了商业级设计流程中，并且被证明是有效的、高效的且鲁棒的。我们的工作针对 ISPD'22/23 安全收敛竞赛的挑战性基准测试，提供了深入的布局和安全分析。我们表明，TroLLoc 成功地使布局具有弹性，且开销合理，能够抵御： 设计后插入木马的一般前景，如 ISPD'22 竞赛所示； 实际的木马插入，如 ISPD'23 竞赛所示； 潜在的二阶攻击，即对手会首先（即在木马插入之前）尝试绕过锁定防御，例如使用高级机器学习攻击。最后，我们发布了所有工件以供独立验证 [2]。
引用
@article{arxiv.2405.05590,
title = {TroLLoc: Logic Locking and Layout Hardening for IC Security Closure against Hardware Trojans},
author = {Fangzhou Wang and Qijing Wang and Lilas Alrahis and Bangqi Fu and Shui Jiang and Xiaopeng Zhang and Ozgur Sinanoglu and Tsung-Yi Ho and Evangeline F. Y. Young and Johann Knechtel},
journal= {arXiv preprint arXiv:2405.05590},
year = {2024}
}