密码学高端系列培训－“可证明安全、表达密码学培训”在北京举办
12月10─14日，中国密码学会与信息安全国家重点实验室在北京联合举办“密码学高端系列培训—可证明安全、表达密码学培训”，共有来自国内高校、科研院所和企事业单位的科技工作者及在校学生84人参加。
开学典礼由信息安全国家重点实验室薛锐研究员主持，中国密码学会秘书长强志军和信息安全国家重点实验室常务副主任林东岱研究员出席并致辞。
本次培训特邀请到国内、外知名的密码专家学者Xavier Boyen教授、Phong Nguyen教授、陈克非教授和薛锐研究员等进行授课，他们从不同方面对可证明安全、表达密码学等进行了系统详细的讲解。
来自澳大利亚昆士兰理工大学的Xavier Boyen教授重点介绍了密码学当前的研究热点之一“表达密码学”：通过“从公钥加密到函数加密”、“基于双线性对的方案”、“表达签名和表达认证”、“基于格的后量子密码学”等系列专题内容，从基本知识、发展历程到当前的研究热点对表达密码学进行了透彻的讲解。
薛锐研究员对现代密码学可证明安全中常用的方法和技巧做了详细讲解，包括CPA和CCA-安全的公钥密码方案及其涉及到的典型证明方法：归约方法、实验序列方法、混合论证方法，random oracle模型以及该模型下的证明方法等。
Phong Nguyen教授和陈克非教授分别以“lattice Reduction and provable security”（格的归约和可证明安全）和“密钥泄露保护机制和可证明安全”为题，对相关方面的研究和最新成果做了充分介绍。
培训期间，老师和学员不仅在课堂上互动交流，还在课余时段专门安排授课老师答疑，确保每位学员掌握进度，学到知识，培训结束学会向参训者颁发了结业证书。
学会简介
