报告题目：密码学中的可证明安全性

报告人：杨波 陕西师范大学

时间：2014年6月27 (周五)上午10：00

地点：科技楼401

摘要：

可证明安全性是现代密码学中的基本工具，也是实现密码算法是否安全的重要推导方法。本报告首先介绍可证明安全性的发展、定义、用法，然后以基于身份的加密方案IBE为例，介绍其使用方法。   

杨波

1963年5月出生，陕西师范大学计算机科学学院二级教授、博士生导师，中国密码学会理事，中国密码学会密码算法专业委员会委员，《密码学报》编委。

1986年获北京大学数学系学士学位，1993年获西安电子科技大学计算机系计算机软件硕士学位，1999年获西安电子科技大学通信工程学院密码学博士学位。1986年至2005年在西安电子科技大学工作，2005年至2011年在华南农业大学信息学院、软件学院工作，任院长。2011年起在陕西师范大学计算机科学学院工作。2005年担任第四届中国信息和通信安全学术会议程序委员会主席，2009年担任中国密码学会年会副主席，2010年起担任The Joint Workshop on Information Security (JWIS ) Co-General Chair。

已主持国家自然科学基金7项、“863”计划1项、国家密码发展基金1项、国防科技重点实验室基金4项、陕西省自然科学基金1项，广东省自然科学基金创新团队项目1项。已发表学术论文200余篇，其中被三大检索收录100余篇，出版学术著作及教材6部，包括“十一五”国家级规划教材1部，申请专利4项。