报告题目：论公钥密码学的算法定义

报告人：郭福春 副教授

邀请人：张乐友教授

报告时间：2023年11月11日9:00-11:00

报告地点：腾讯会议：364-174-234

报告摘要：在公钥密码学方向，与设计相关的研究涉及三件套：定义、构造与证明。其中定义又由两部分组成：算法定义和安全定义。在IACR会议论文里，我们经常能看到新crytographic primitive的问世，其第一步就是算法定义,在本报告中将介绍我对算法定义的认知，以及我对它的归纳与总结。

报告人简介：郭福春博士，澳大利亚University of Wollongong副教授，澳大利亚ARC DECRA Fellow，ARC Future Fellow。郭博士的密码学研究始于2005年并一直专注于公钥密码学方向的研究，特别是方案构造及安全归约理论技术。郭福春博士在三大密码会议Crypto、Eurocrypt、Asiacrypt及顶级期刊IEEETIFS，IEEETDSC等发表密码学相关学术论文近百篇，出版中英两部著作《Introduction to Security Reduction》和《数字签名密史：从急需到有趣》。