报告题目：认证加密方案在多用户模型下的安全性分析
主讲人： 张向阳 上海交通大学博士
报告时间：2025年06月17日（星期二）10:00-10:30
报告地点：信息学院3号楼109会议室
报告摘要：
数据的机密性与完整性是构建安全可靠信息系统的两项基本属性。认证加密（Authenticated Encryption, AE）作为一种对称密码算法，能够同时满足这两项安全需求。目前，AE 方案已被广泛应用于多种主流网络安全协议中，例如 TLS、IPsec 和 WPA3 等。传统安全研究主要聚焦于单用户模型下 AE 方案的安全性分析。近年来，随着 TLS 1.3 协议的日益广泛应用，多用户模型下 AE 方案的安全性正受到越来越多的关注。本报告聚焦认证加密方案在多用户模型下的研究进展，并详细介绍发表在ACM CCS 2024的最新成果。该论文分析了TLS 1.3中推荐AE算法CCM在多用户模型下的安全性并给出了严格证明。
报告人简介：
张向阳，2024年博士毕业于上海交通大学计算机系。研究领域为密码学，重点关注对称密码方案的设计和分析。相关论文发表在ACM CCS，ISC，Provsec等国际会议上。
邀请人：计算机科学与技术系 沈耀斌副教授
