威脅建模

速報

ATLAS：以LLM串接威脅建模與形式驗證的SoC安全框架

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