硬件安全相关 AI 资讯 · AITOP · AI热报

8月6日

12:01

12:01

官方账号arXiv cs.AI@Johann Knechtel, Ozgur Sinanoglu, Paul V. Gratz, Ramesh Karri

这篇论文统一分析了 chiplet 与 LLM 时代硬件攻击面的扩展，覆盖架构、逻辑和物理三个层面。针对 2.5D chiplet 系统，论文提出利用 2.5D split manufacturing 和 active interposers 构建物理隔离的 Root of Trust 防御架构。针对 LLM 驱动的 EDA 流水线，论文识别了原生威胁并梳理了现有防御技术。论文还探讨了 LLM 系统如何用于增强 chiplet 等现代系统的硬件安全。

论文 chiplet LLM EDA

推荐理由：这篇论文把 chiplet 和 LLM 两个热点合在一起聊硬件安全，既有攻击面分析也有防御方案，做芯片安全的值得看看。

7月31日

10:35

10:35

官方一手arXiv: OpenAI@Xiao Tan, Cynthia Sturton

CHARGE是一个基于CWE层次结构和LLM的自动化框架，面向未验证的RTL模块生成安全属性。在Hack@DAC18、19、21的SoC设计上，使用OpenAI的GPT-4.1评估，CHARGE检测出42个已知缺陷中的27个。针对Hack@DAC21的OpenPiton SoC，89%的生成SVA可在Cadence JasperGold FPV中运行，92.2%为非空断言。与人工编写的属性相比，CHARGE在三个缺陷上正确写出了人工属性出错的内容。此外，CHARGE生成的属性还识别出OpenPiton SoC中一个此前未被发现的新缺陷。

论文 CHARGE CWE SystemVerilog

推荐理由：用GPT-4.1给硬件RTL自动生成安全断言，Hack@DAC'21上89%能跑通，还抓到一个新bug，做芯片安全的值得看。