| 学科专业评审组： | 计算机与系统科学组 | | 项目名称： | 芯片设计安全评估技术 |
| 提名单位： | 陕西省教育厅 |
| 提名等级： | 二等奖 |
| 提名单位意见： | 该项目围绕国家网络空间安全和集成电路重点发展战略，聚焦芯片安全热点前沿领域，面向自主芯片设计安全检测需求，针对芯片安全评估中存在的“安全难建模”、“属性难验证”、“漏洞难检测”等关键挑战，在芯片设计安全性评估领域开展了体系化的创新研究，形成了芯片设计安全行为分析与建模技术、芯片设计安全脆弱性特征提取与智能匹配技术和芯片设计安全属性验证与脆弱性搜索挖掘技术等代表性的创新成果，构建了智能化、形式化、自动化、标准化的芯片设计安全评估技术，在已知安全脆弱性特征精准匹配和未知安全脆弱性搜索挖掘方面取得突出效果，技术水平国内领先、国际先进。项目结合创新研究成果，开展了芯片设计安全评估与脆弱性检测方面的自主工具研发，并在中国科学院信息工程研究所、航天恒星科技有限公司、西安微电子技术研究所、龙芯中科和成都环宇芯科技有限公司等单位研发的多款国产芯片设计安全检测中实际应用，检测到某国产处理器、航天专用片上系统和星载专用芯片设计中的安全风险，为多个型号任务的研发提供了有力技术保障，取得经济效益超1.7亿元。成果为增强自主芯片设计安全性提供了有效的理论、技术和工具支撑，有助于从芯片底层筑牢网络安全的硬件根基，抵御芯片安全攻击所造成的严重影响和经济损失，具有良好的社会和经济效益。成果材料属实、齐全、规范，人员排序无争议，符合陕西省科学技术进步奖提名条件。
提名该项目为陕西省科学技术进步奖二等奖。
|
| 项目简介： | 
|
| 客观评价： | 
|
| 应用情况和效益： | 
|
| 主要知识产权和标准规范等目录： | 
|
| 主要完成人： | - 姓名：胡伟
排名：1
行政职务：院长助理
技术职称：教授
工作单位：西北工业大学
对本项目技术创造性贡献：完成人全面参与了芯片安全评估技术的体系化研究及应用验证。科技创新成果1-1：芯片设计细粒度信息流分析技术；科技创新成果1-2：芯片设计细粒度安全建模技术；科技创新成果2-1：融合芯片设计结构和行为特征的安全脆弱性特征提取技术；科技创新成果3-1：芯片安全属性形式化验证方法；科技创新成果3-2：基于属性验证的安全脆弱性搜索挖掘技术；在该项目研发工作中投入的工作量占本人工作量的80%。
曾获国家科技奖励情况：2024年，陕西高等学校科学技术研究优秀成果特等奖，芯片设计安全脆弱性分析技术及应用，排名1，证书无编号。 - 姓名：张延伟
排名：2
行政职务：部长
技术职称：研究员
工作单位：中国空间技术研究院
对本项目技术创造性贡献：完成人参与了芯片设计安全建模、属性验证与脆弱性挖掘技术研究及应用验证。科技创新成果1-2：芯片设计细粒度安全建模技术；科技创新成果3-1：芯片安全属性形式化验证方法；科技创新成果3-2：基于属性验证的安全脆弱性搜索挖掘技术；推动了项目成果在国产芯片设计安全性检测中的应用验证；在该项目研发工作中投入的工作量占本人工作量的60%。
曾获国家科技奖励情况：2024年，陕西高等学校科学技术研究优秀成果特等奖，芯片设计安全脆弱性分析技术及应用，排名2，证书无编号。 - 姓名：慕德俊
排名：3
行政职务：副院长
技术职称：教授
工作单位：西北工业大学
对本项目技术创造性贡献：完成人参与了芯片设计安全行为分析与建模技术和芯片设计安全脆弱性检测技术研究。科技创新成果1-1：芯片设计细粒度信息流分析技术；科技创新成果1-2：芯片设计细粒度安全建模技术；科技创新成果2-2：基于智能化特征匹配的安全脆弱性检测技术；科技创新成果3-2：基于属性验证的安全脆弱性搜索挖掘技术；在该项目研发工作中投入的工作量占本人工作量的60%。
曾获国家科技奖励情况：2024年，陕西高等学校科学技术研究优秀成果特等奖，芯片设计安全脆弱性分析技术及应用，排名4，证书无编号。 - 姓名：屈若媛
排名：4
行政职务：副主任
技术职称：高级工程师
工作单位：中国空间技术研究院
对本项目技术创造性贡献：完成人参与了芯片设计安全属性验证与脆弱性搜索挖掘技术研究及应用验证。科技创新成果3-1：芯片安全属性形式化验证方法；科技创新成果3-2：基于属性验证的安全脆弱性搜索挖掘技术；推动了项目成果在国产芯片设计安全性检测中的应用验证；在该项目研发工作中投入的工作量占本人工作量的40%。
曾获国家科技奖励情况：2024年，陕西高等学校科学技术研究优秀成果特等奖，芯片设计安全脆弱性分析技术及应用，排名6，证书无编号。 - 姓名：武玲娟
排名：5
行政职务：无
技术职称：助理研究员
工作单位：西北工业大学
对本项目技术创造性贡献：完成人参与了芯片设计安全脆弱性特征提取与智能匹配技术研究。科技创新成果2-1：融合芯片设计结构和行为特征的安全脆弱性特征提取技术；科技创新成果2-2：基于智能化特征匹配的安全脆弱性检测技术；在该项目研发工作中投入的工作量占本人工作量的40%。
曾获国家科技奖励情况：2024年，陕西高等学校科学技术研究优秀成果特等奖，芯片设计安全脆弱性分析技术及应用，排名9，证书无编号。 - 姓名：沈利香
排名：6
行政职务：无
技术职称：副教授
工作单位：西北工业大学
对本项目技术创造性贡献：完成人参与了芯片设计安全属性验证与脆弱性搜索挖掘技术研究。科技创新成果3-1：芯片安全属性形式化验证方法；科技创新成果3-2：基于属性验证的安全脆弱性搜索挖掘技术；在该项目研发工作中投入的工作量占本人工作量的30%。
曾获国家科技奖励情况：2024年，陕西高等学校科学技术研究优秀成果特等奖，芯片设计安全脆弱性分析技术及应用，排名7，证书无编号。 - 姓名：邰瑜
排名：7
行政职务：无
技术职称：副研究员
工作单位：西北工业大学
对本项目技术创造性贡献：完成人参与了芯片设计安全行为分析与建模技术研究。科技创新成果1-1：芯片设计细粒度信息流分析技术；科技创新成果1-2：芯片设计细粒度安全建模技术；在该项目研发工作中投入的工作量占本人工作量的30%。
曾获国家科技奖励情况：2024年，陕西高等学校科学技术研究优秀成果特等奖，芯片设计安全脆弱性分析技术及应用，排名8，证书无编号。 - 姓名：毛保磊
排名：8
行政职务：无
技术职称：高级实验师
工作单位：西北工业大学
对本项目技术创造性贡献：完成人参与了芯片设计安全属性验证和脆弱性挖掘技术研究。科技创新成果1-2：芯片设计细粒度安全建模技术；科技创新成果3-2：基于属性验证的安全脆弱性搜索挖掘技术；在该项目研发工作中投入的工作量占本人工作量的30%。
曾获国家科技奖励情况：无 - 姓名：朱丹
排名：9
行政职务：无
技术职称：副教授
工作单位：西北工业大学
对本项目技术创造性贡献：完成人参与了芯片设计安全建模和脆弱性搜索挖掘技术研究。科技创新成果3-2：基于属性验证的安全脆弱性搜索挖掘技术；在该项目研发工作中投入的工作量占本人工作量的30%。
曾获国家科技奖励情况：无 - 姓名：周慧思
排名：10
行政职务：无
技术职称：副教授
工作单位：西北工业大学
对本项目技术创造性贡献：完成人参与了芯片设计安全属性验证与脆弱性搜索挖掘技术研究。科技创新成果3-1：芯片安全属性形式化验证方法；在该项目研发工作中投入的工作量占本人工作量的30%。
曾获国家科技奖励情况：无
|
| 主要完成单位及创新推广贡献： | - 单位名称：西北工业大学
单位贡献：西北工业大学研究团队经过多年的研究探索和技术攻关，突破了芯片设计安全行为分析与建模、芯片设计安全脆弱性特征提取与智能匹配和芯片设计安全属性验证与脆弱性搜索挖掘等关键技术，并开展了芯片设计安全分析工具研发与应用验证。对本项目的贡献主要体现在：作为本项目第一完成单位，全面负责项目的总体规划、设计、实施与组织，为本项目提供了大力支持和充分保障，确保了项目的顺利进行；整合项目中多类关键技术的先进优势，结合自身长期在芯片设计信息流安全分析、细粒度安全建模、脆弱性特征提取与检测等领域的研究成果，在多项核心共性基础技术上取得了突破，完成芯片设计安全脆弱性分析技术的体系化建设。上述关键技术与成果已成功应用于多个具体项目中，提高了硬件系统的安全性和可靠性，解决了传统安全防护技术无法满足硬件安全的关键问题，提高了国产硬件系统稳定性、安全性与可靠性，并产生了非常显著的经济和社会效应。
- 单位名称：中国空间技术研究院
单位贡献：中国空间技术研究院作为本项目的合作单位，为本项目的技术研发和核心框架的建立提供了所需人员、技术成果等多方面的支持，对本项目的贡献主要体现在：通过合作立项“典型接口电路形式验证建模及遍历技术研究及试验”等项目，参与了芯片设计安全属性验证与脆弱性搜索挖掘技术研究，提出了一种芯片安全属性形式化验证方法和一种基于属性验证的安全脆弱性搜索挖掘技术；参与了芯片设计典型安全脆弱性分析和芯片安全检测总体方案设计，提出了芯片设计安全分析工具总体架构设计，并推动项目研究成果在国产芯片设计安全性检测中的应用验证，产生了显著的社会和经济效益。
|
| 完成人合作关系说明： | 完成人合作关系说明：1
|
