信息安全国家重点实验室通讯2017年第2期（总第8期）　　  

   实验室要闻  

　      实验室成功举办密码学与编码学高级研讨班 1 

        图灵奖得主Adi Shamir 教授来信息安全国家重点实验室访问交流 2 

        实验室成功举办2017年密码数学暑期学校 3 

   科研进展  

        非构造性安全性证明/归约技术 (邓燚) 4 

        软件基因库系统 （梁瑞刚、陈恺）6 

   科普园地  

       零知识证明 (邓燚) 10 

    交流与合作  

        章睿副研究员赴美国参加ICWS 2017国际会议 15 

        刘偲副研究员带领学生庾涵参加2017年国际计算机视觉与模式识别会议 16 

        美国弗吉尼亚联邦大学周红生助理教授来访实验室 16 

    荣誉  

        陈恺研究员入选2018年度“北京市科技新星计划”17