网络空间安全和集成电路是国家重点发展战略。集成电路芯片安全属于两大战略的交叉领域,是备受关注的热点研究方向。芯片作为计算系统的硬件核心和网络空间的物理根基,其安全性对于网络空间上层建筑的安全性有至关重要的影响。研究芯片设计安全脆弱性分析技术并开展推广应用有助于在设计阶段以较低代价检测并消除芯片中潜在的安全隐患,避免脆弱性引发的严重安全后果和经济损失,对于筑牢我国网络空间安全的硬件根基具有重要的意义。本项目经过多年的研究探索和技术攻关,突破了芯片设计安全行为分析与建模、芯片设计安全脆弱性特征提取与智能匹配和芯片设计安全属性验证与脆弱性搜索挖掘等关键技术,在高隐蔽性安全脆弱性检测方面取得显著技术优势,并开展了芯片设计安全分析工具研发与应用验证,能够为增强自主芯片设计安全性提供有效的理论、技术和工具支撑。