可证明安全的几点新思考

讲座名称：可证明安全的几点新思考

讲座人：郭福春 副教授

讲座时间：6月21日14:00-16:00

地点：腾讯会议：158-203-070

讲座人介绍：

郭福春博士，澳大利亚University of Wollongong 副教授，澳大利亚ARC DECRA Fellow， ARC Future Fellow。 郭博士的密码学研究始于2005年并一直专注于公钥密码学方向的研究，特别是方案构造及安全归约理论技术。郭福春博士在密码三大会议CRYPTO(美密会)、EUROCRYPT(欧密会)和ASIACRYPT (亚密会)及国际顶级期刊如IEEE TFIS等杂志发表密码学相关学术论文近百余篇，中英两部著作《Introduction to Security Reduction》和《数字签名密史：从急需到有趣》。

讲座内容：

定义、构造和证明是公钥密码学研究中设计的重要组成部分。其中，可证明安全性因涉及大量专业术语和背景知识而尤为复杂。不同研究方向对可证明安全的侧重点各不相同。在本报告中，我将基于近期研究汇总的问题，分享我在可证明安全方面的一些新思考，涵盖安全模型、证明中的实体关系，以及各种证明方法的区别。

主办单位：数学与统计学院