资讯
HW Information-Flow Tracking for Pre-Silicon Security Testing (Princeton, MIT, EPFL)
📋总体概括
普林斯顿大学、MIT CSAIL与EPFL的研究者联合发表论文《Efficient Hardware Information-Flow Tracking for Pre-Silicon Security Testing》，提出在RTL仿真阶段自动插入污点逻辑，使设计在流片前即可测试机密性、完整性等信息流安全属性，把硬件安全验证左移到仿真环节，降低事后漏洞修复成本。
⚡关键信息
- ▸普林斯顿、MIT CSAIL、EPFL三校联合发表硬件信息流追踪论文
- ▸核心方法是在RTL仿真中自动插入污点逻辑
- ▸可测试机密性与完整性等信息流安全属性
- ▸属于流片前安全测试，将验证环节前移
🔥犀利点评
硬件安全漏洞一旦流片就几乎无法修，Spectre、Meltdown式的信息流问题都是流片后才被外界发现的。这套污点追踪方法把安全属性验证塞进RTL仿真，本质上是用EDA流程补硬件安全的课。学术价值明确，但能否变成商业EDA工具链里的标准选项，才是决定它影响的是论文引用数还是真实芯片的关键。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 SemiEngineering 阅读全文 →