题目：公钥密码学及其研究热点介绍

主讲人：薛锐研究员

时间：11月16日（周一）晚19：00—21：00

地点：励耘楼A202

主办单位：应用数学学院

主讲人简介：

薛锐，中国科学院软件研究所及信息安全国家重点实验室研究员，博士生导师。毕业于北京师范大学数学系,先后获得学士、硕士和博士学位。曾经到德国的Passau 大学, 美国的Purdue University 以及University of Illinois at Urbana and Champaign (UIUC)计算机系访问研究。

研究兴趣包括: 密码学、安全协议、计算复杂性理论、密码协议的形式化方法、数理逻辑等。

多年来一直从事密码学、形式化方法以及信息安全，尤其是密码协议形式化分析方面的研究工作。主持完成省部级项目多项。主持多项国家自然科学基金项目。参加国家重大基础研究项目（973）两项。主持国家863 项目两项。
在Journal of Computer and Technology、 Computer and Security、 International Journal of Network Security、IEE Proceedings Communication 等国际杂志，电子学报、软件学报、计算机学报、中国科学等国内重要刊物，国际、国内会议上发表近六十余篇论文。曾任ISDPE07国际会议主席, 以及多个国际会议程序委员，任多家杂志审稿人。