打破记录！两支战队分获全球冠军、季军！

日前

在电子设计自动化领域

顶级会议DATE 2025期间

全球规模最大的硬件安全大赛

HACK@DATE 2025

公布总决赛结果

中国科学院软件研究所

智能软件研究中心

两支参赛战队

分别斩获全球冠军、季军

其中，夺冠战队还以985分的绝对优势

打破大赛历年得分记录

获奖队伍合影

HASS Lab战队基于“源图”开源软件供应链重大基础设施平台，研发了基于LLM的RISC-V处理器形式化验证工具、RISC-V处理器差分模糊测试工具以及基于说明文档检索增强生成的漏洞检测工具，在初赛和决赛共提交43个漏洞并成功构建21个漏洞利用程序。

SecureNexusLab战队则基于该平台，研发了基于LLMs与领域知识增强的RISC-V漏洞检测工具，初决赛共提交57个漏洞，其中成功实现5个漏洞利用。

HACK@DATE 2025冠军获奖证书

HACK@DATE 2025季军获奖证书

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

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