4月16日，陕西师范大学计算机科学学院杨波教授应邀来我校作学术报告。

针对密码算法安全性的形式化证明这一密码学要点和难点问题，杨波教授在题为“密码学中的可证明安全性”的报告中，综述了可证明安全性的定义、发展和用法，并探讨了其中的主要思想方法。报告重点讲述了公钥加密方案的语义安全性，通过对ElGamal加密算法等方案的分析，分别阐述了在选择明文攻击、选择密文攻击和适应性选择密文攻击下不可区分性的概念；分析了RSA签名体制的语义安全性并介绍了安全性证明中的规约方法。

报告结束后，杨波教授和师生就密码方案的规约证明等相关问题进行深入交流。

杨波，陕西师范大学二级教授、博士生导师，陕西省百人计划特聘教授，中国密码学会理事，中国密码学会密码算法专业委员会委员，《密码学报》编委。1999年获西安电子科技大学通信工程学院密码学博士学位。1986年至2005年在西安电子科技大学工作，2005年至2011年在华南农业大学信息学院、软件学院工作，任院长。2011年起在陕西师范大学计算机科学学院工作。2005年担任第四届中国信息和通信安全学术会议程序委员会主席，2009年担任中国密码学会年会副主席，2010年起担任The Joint Workshop on Information Security (JWIS ) Co-General Chair。已主持国家自然科学基金8项、“863”计划1项、国家密码发展基金1项、国防科技重点实验室基金4项、陕西省自然科学基金1项，广东省自然科学基金创新团队项目1项。已发表学术论文200余篇，其中被三大检索收录100余篇，出版学术著作及教材6部，包括“十一五”国家级规划教材1部，申请专利4项。

（理学院 张锋 吕川）