我院研究生斩获HACK@DATE 2025硬件安全大赛总冠军

      4月1日，在电子设计自动化领域顶级会议DATE 2025召开期间，全球规模最大的硬件安全大赛HACK＠DATE 2025公布总决赛结果。2023级硕士研究生吕浩所在HASS Lab战队斩获总冠军，朱慧迪所在Secure Nexus Lab战队获得季军，指导教师中国科学院软件研究所吴敬征研究员、凌祥副研究员。

      基于“源图”开源软件重大基础设施，HASS Lab战队研发了基于LLM的RISC-V处理器形式化验证工具、RISC-V处理器差分模糊测试工具及基于说明文档检索增强生成的漏洞检测工具，在初赛和决赛共提交43个漏洞并成功构建21个漏洞利用程序。最终，HASS Lab战队以985分的绝对优势斩获总冠军，并打破该赛事历年得分记录。Secure Nexus Lab战队研发了基于LLMs与领域知识增强的RISC-V漏洞检测工具，初决赛共提交57个漏洞，其中成功实现5个漏洞利用。

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

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