报告一题目：可解释大模型安全与评测平台

报告地点：44118太阳成城官方网长安校区文津楼3628学术报告厅

报告时间：2025年4月29日10:00~10:50

报告人：纪守领，浙江大学计算机科学与技术学院，求是特聘教授/长聘教授

报告摘要：近年来，以大模型为代表的人工智能技术迅猛发展，相关应用不断深化。在大模型蓬勃发展的同时，其安全、隐私、伦理等挑战也越来越引起人们的重视。保障大模型系统的安全隐私，发展可信赖、负责任的人工智能技术，成为其应用深化与产业发展的基础前提与必需保障。本报告将围绕大模型系统安全，探讨可解释的大模型安全增强技术，并展示研制的大模型安全评测平台。

报告人介绍：纪守领，浙江大学计算机科学与技术学院求是特聘教授/长聘教授、博士生导师，可信人工智能研究中心主任，获佐治亚理工学院电子与计算机工程博士学位、佐治亚州立大学计算机科学博士学位，入选国家高层次人才。主要研究方向为人工智能安全、软件与系统安全，主持国家重点研发计划项目、国家自然科学基金联合重点项目等多项，发表安全四大论文50余篇，研制的多个系统在大型平台上获得部署应用。获ACM CCS 2021最佳论文奖等10项最佳论文奖、全球黑客大会Pwnie Awards最具创新研究奖提名等。

报告二题目：异步安全多方计算的实用化设计

报告地点：44118太阳成城官方网长安校区文津楼3628学术报告厅

报告时间：2025年4月29日11:00~11:50

报告人：李吉亮，西安交通大学电信学部网络空间安全学院，特聘研究员

报告摘要：在面对能够任意延迟通信的异步敌手时，完全异步多方计算（AMPC）具备较高的隐私保护且实现了输出交付保证（GOD）。由于现有协议难以实现离线在线的鲁棒性、具有较大的通信开销或在在线阶段增加了额外的加密开销，现有的协议并不完全实用。近期，HoneyBadgerMPC（hbMPC）基于Shamir秘密共享提出了第一个近似异步安全多方计算协议，但仅能在乐观情况下确保GOD，在离线预处理阶段缺乏足够的鲁棒性。我们提出了Dumbo-MPC，一个具体高效的AMPC服务方案，能够在所有阶段实现GOD，并对t<n/3个恶意参与者具有最优的鲁棒性。Dumbo-MPC在最优情况下实现了O(n)的摊销通信开销，而在最坏情况下实现了O(n^2)的摊销通信开销。与现有方法相比，Dumbo-MPC在最优情况下将乘法三元组的生成效率提升了六倍，在最坏情况下提升了两倍。

报告人介绍：李吉亮，西安交通大学电信学部网络空间安全学院特聘研究员，博士生导师，院长助理，思源学者，小米青年学者，陕西省高层次青年人才，西安交大青年拔尖人才。获德国哥廷根大学（诞生过高斯、黎曼、希尔伯特等数学家以及46位诺奖得主）数学与计算机学院自然科学博士学位。曾在清华大学、日本国立情报学研究所、沙特阿卜杜拉国王科技大学等单位进行学习与研究，主要研究方向包括密码学与信息安全、可信认证、零知识证明、AI安全等。主持国家重点研发计划课题、国家自然科学基金面上基金和青年基金、华为、小米、国网山东等项目10余项。在USENIX Security、IEEE TDSC、IEEE TIFS、FC等发表论文40余篇，获2023年度陕西高等学校科学技术研究优秀成果奖一等奖、IEEE ICDCS 2020 Workshop on NMIC等最佳论文奖。个人主页：https://gr.xjtu.edu.cn/web/jiliang.li。