4月1日，在电子设计自动化领域顶级会议DATE 2025期间，全球规模最大的硬件安全大赛HACK＠DATE 2025公布总决赛结果。来自中国科学院软件研究所智能软件研究中心的参赛队伍HASS Lab战队以985分的绝对优势斩获总冠军，并打破历年得分记录。智能软件研究中心另一支战队SecureNexusLab荣获季军。

基于“源图”开源软件供应链重大基础设施平台，HASS Lab战队研发了基于LLM的RISC-V处理器形式化验证工具、RISC-V处理器差分模糊测试工具及基于说明文档检索增强生成的漏洞检测工具，在初赛和决赛共提交43个漏洞并成功构建21个漏洞利用程序。SecureNexusLab战队研发了基于LLMs与领域知识增强的RISC-V漏洞检测工具，初决赛共提交57个漏洞，其中成功实现5个漏洞利用。获奖队伍指导老师为吴敬征研究员和凌祥副研究员。

HACK＠DATE 2025聚焦硬件安全漏洞挖掘，包括初赛与决赛两个阶段，共吸引来自中国、美国、英国、加拿大、印度等国家和地区的27支战队、82名安全领域研究人员参与。除软件所2支队伍外，晋级决赛的另外4支队伍分别来自纽约大学、康奈尔大学、谷歌等知名高校及企业。

软件所参赛队伍此次的优异表现，展现了在RISC-V安全领域的技术积累和突出实力。未来，研究团队将继续开展联合攻关，立足RISC-V处理器及其基础软件安全研究的核心领域，以构建安全可靠的RISC-V开源生态为目标，为RISC-V处理器及其基础软件产业化应用提供坚实的安全保障。

HACK＠DATE 2025冠军获奖证书

HACK＠DATE 2025季军获奖证书