报告人：赵莽

报告地点：淦昌苑D320

报告时间：2023-10-23 14:00

摘要：

在我们现代生活中，网络通信已经成为信息传输的主要媒介之一，例如即时消息传递、在线购物和视频会议等。为了保护通过网络传输的信息的安全性，现实世界中的应用程序通常配备了加密通信协议，然而这些协议的可证安全性分析通常缺失。一个自然的问题浮现出来：这些协议是否真的安全？

本次报告介绍了报告人在博士研究期间完成的五个项目，重点关注其中两个：关于带有相关数据的认证加密的理论分析以及视频会议Zoom协议的可证明安全性分析。此外，本次演讲还探讨了（大规模）协议设计和可证安全性分析的常见障碍，提供了关于可行性的介绍，并呈现了报告人的未来的科研规划。

报告人介绍：

赵莽，CISPA亥姆霍兹信息安全中心和萨尔大学（Saarland University）和在读博士生，导师为Cas Cremers 教授。主要方向为：应用密码学、即时通信安全、以及通讯协议的安全分析。他有四篇论文发表在国际会议IEEE S&P上，一篇论文发表在Usenix Security并获得Distinguished Paper Award。更多信息详见：https://mang-zhao.github.io/

邀请人：郭山清

审核人：魏普文