近日，第三届中国研究生网络安全创新大赛在武汉落下帷幕。本届大赛以“守卫网络安全，培育网安人才”为主题，共吸引了来自复旦大学、浙江大学、武汉大学等全国198所高校及科研院所的754支队伍、2544名研究生学子报名参赛。我校网络空间安全学院研究生范伟豪、王斌斌、程梦妮、黄璇荣获揭榜挑战赛全国一等奖，并以该赛道第一名成绩斩获“网安之星”称号，实现学校在该赛事中的突破；指导教师胡伟教授获“优秀指导教师”奖；我校被评为“优秀组织单位”。

参赛作品

名称：FormalNode芯片漏洞检测工具

团队成员：范伟豪、王斌斌、程梦妮、黄璇

指导教师：胡伟

网络空间安全和集成电路是国家重点发展战略。芯片安全属于两大战略的交叉领域，是备受关注的热点前沿方向。芯片作为计算系统的硬件核心和网络空间的物理根基，其安全性对网络空间上层建筑的安全性至关重要。

近年，网络攻击已经蔓延至硬件层面，专用装备、基础设施和个人计算设备中芯片安全问题频发，对网络空间安全造成了严重威胁。芯片安全漏洞检测是一项极具挑战性的研究课题。研究有效的芯片设计安全漏洞检测方法及工具有助于及早发现潜在的安全隐患，避免芯片重新设计加工导致的高额成本，以及芯片安全漏洞攻击导致的严重损失，具有重要的理论和实用价值。

参赛团队研发的FormalNode芯片漏洞检测工具，提出了基于安全路径验证的漏洞检测方案，在芯片设计早期即可发现安全风险路径，检测出芯片中潜藏的设计安全缺陷、侧信道、木马、后门等多种漏洞。该作品有助于提升芯片设计的安全性，筑牢网络安全的硬件根基。

“这是团队对前沿技术的一次深入探索和创新实践，从最初的概念设计到最终的落地成型，每一步都凝聚了大家的智慧与努力。团队在胡老师的带领下不断挑战自我，最终使得芯片漏洞检测工具兼具创新性和实用性。未来，我们将继续深耕这一领域，秉持追求卓越、创新进取精神，为网络安全发展贡献力量！”团队们一致表示，将不断求真探索，为芯片安全领域贡献西工大网安学子力量。

中国研究生网络安全创新大赛作为中国研究生创新实践系列大赛主题赛事之一，是面向全国在读研究生的一项团体性网络空间安全相关专业创新实践活动。大赛以“汇聚专业英才 共建网络安全”为理念，以国家战略需求为导向，以行业企业参与为支撑，以提高研究生的创新能力和实践能力为核心，从“产教融合”“科教融合”“赛教融合”等维度设立揭榜挑战赛、创意作品赛和实网对抗赛三个赛道，重点锻炼研究生的科学创新能力和工程实践能力，为国家培养、选拔和储备一批急需的高精尖网络安全人才。

2024年，网络空间安全学院入选国家一流网络安全学院建设示范项目，在学校“总师育人文化”引领下，积淀出“厚基础、强系统、重实践、拓交叉“的人才培养特色，下一步将继续坚持培养忠诚爱国的网络安全实战和创新型人才，以高质量内涵式发展更好服务于国家网络强国战略，捍卫国家网络空间安全。

指导教师：

胡伟，网络空间安全学院教授，国家级青年人才。主持国家重点研发课题和国家自然科学基金重点项目等10余项，获陕西高等学校科学技术研究优秀成果特等奖等省部级科研奖励3项。挖掘出国内首个RISC-V处理器可远程利用中危漏洞，受人民网等媒体报道。指导的学生获相关学科竞赛国家一等奖4项、“互联网+”省金1项、优秀本科毕业设计论文6项、优秀硕士论文2项，入选学校2023年度本科最满意教师。

（文案：邰瑜，范伟豪；图片：大赛主办方；审核：杜瑶 马西平）