速報 ATLAS:以LLM串接威脅建模與形式驗證的SoC安全框架 背景:為提升SoC安全,本研究將標準化威脅模型與形式驗證結合。方法:ATLAS以LLM從CWE辨識資產、對應弱點並自動產生assertion與JasperGold腳本,將弱點推理轉為形式證明。結果:於三項HACK@DAC基準上偵測39/48個CWE並為33項漏洞生成正確性質。