易游APP体育(中国·YY认证)官方网站-登录入口

  • 学校首页
  • 办公信息
  • 邮箱
  • 网站后台
  • English

学术报告《可证明安全性与密码学应用》

发布日期:2023/10/20 点击量:

报告人:赵莽

报告地点:淦昌苑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/


邀请人:郭山清

审核人:魏普文


联系我们

地址:山东省青岛市即墨区滨海路72号山东大学青岛校区淦昌苑D座邮编:266237

邮箱:cst@sdu.edu.cn电话:(86)-532-58638601传真:(86)-532-58638633

版权所有 Copyright © 易游APP体育(中国·YY认证)官方网站-登录入口

XML 地图