导师队伍

【预选概况】网络空间安全学院--王小云

编辑:焦青萍 浏览: 发布时间:2020-04-26


王小云,山东大学网络空间安全学院院长,清华大学高等研究院杨振宁讲座教授。1987年和1990年分别获山东大学数学系学士和硕士学位,1993年获山东大学数学系博士学位后留校工作。2017年当选中国科学院院士。王小云院士主要从事密码理论及相关数知识题研究。提出了密码哈希函数的模差分比特分析理论,破解了包括MD5SHA-1在内的5个国际通用哈希函数算法;将比特分析法进一步应用于带密钥的密码算法包括消息认证码、对称加密算法、认证加密算法的分析,给出系列重要算法HMAC-MD5MD5-MACSIMONKeccak-MAC等重要分析结果;给出了格的困难问题最短向量求解的启发式算法,即二重筛法;设计了我国哈希函数标准SM3,在金融、交通、国家电网等重要经济领域广泛使用,入选ISO/IEC国际标准。曾获国家自然科学二等奖(排名第1)、全国创新争先奖状、中国密码学会密码创新奖特等奖、苏步青应用数学奖、陈嘉庚科学奖、求是杰出科学家奖、中国青年女科学家奖等。因其对国际密码学研究的卓越贡献,2019年当选国际最权威的密码学科研组织IACR会士,并获得未来科学大奖。获2020年国际密码协会“最具时间价值奖”和“真实世界密码学奖”。



一、个人履历

王小云,女,19668月出生于山东诸城,密码学家,中国科学院院士,IACR Fellow(国际密码协会会士),清华大学高等研究院杨振宁讲座教授,清华大学密码理论与技术研究中心主任,山东大学网络空间安全学院(研究院)院长。兼任中国科协女科技工编辑专门委员会委员,中国女科技工编辑协会常务理事,中国密码学会副理事长,中国数学会常务理事。

1983年王小云考入山东大学数学系,先后获得学士、硕士和博士学位,导师是数学家潘承洞院士。1993年博士毕业后留校任教,先后担任山东大学数学系讲师、副教授、教授。2005年受聘为清华大学高等研究中心杨振宁讲座教授。2006年被聘为长江学者奖励计划特聘教授。

2006年陈嘉庚科学奖、求是杰出科学家奖、中国青年女科学家奖。2008年国家自然科学二等奖。2010年苏步青应用数学奖。2011年,为中国科学院院士增选有效候选人。2014年获得中国密码学会密码创新奖特等奖。2016年获得网络安全优秀人才奖。2017年当选中国科学院院士。2018年参加中央电视台综合频道《开讲啦》“守护幸福”系列节目。2019年当选IACR Fellow2019年获得第四届未来科学大奖“数学与计算机科学奖”。

王小云主要从事密码理论及相关数知识题研究。

20201月,当选2019中国科学年度资讯人物。

202011日,被评为“2019十大女性人物”。2020年,获国际密码协会(IACR)“最具时间价值奖”和“真实世界密码学奖”。

二、学术科研经历

王小云多年从事密码理论及相关数知识题研究。她提出了密码哈希函数的碰撞攻击理论,即模差分比特分析法,破解了包括MD5SHA-1在内的5个国际通用哈希函数算法,获得密码学领域刊物《Eurocrypto》与《Crypto2005年度最佳论文奖。王小云的研究成果宣布世界通行密码标准,被普遍认为“坚不可摧”的MD5SHA-1堡垒的轰然倒塌,引发了密码学界的轩然大波。在这之后,在国际密码学者的讨论中,“王小云”、“王氏攻击”总是跟“震惊密码学界”、“密码学的危机”联系在一起。

王小云相继对MD5以及SHA-1的破解,证明了电子签名是可以被有效伪造的,设计更为安全的密码HASH函数标准迫在眉睫。为此美国国家标准与技术研究所(NIST)在全球范围内启动了HASH函数新标准的五年工程。

第四届未来科学大奖数学与计算机科学奖评价王小云这项工作道,王小云在密码学中做了开创性贡献,她的创新性密码分析方法揭示了被广泛使用的密码哈希函数的弱点,促进了新一代密码哈希函数标准。

王小云将比特分析法进一步应用于带密钥的密码算法包括消息认证码、对称加密算法、认证加密算法的分析,给出系列重要算法HMAC-MD5MD5-MACSIMONKeccak-MAC等重要分析结果;在高维格理论与格密码研究领域,给出了格最短向量求解的启发式算法二重筛法以及带Gap格的反转定理等成果;设计了我国哈希函数标准SM3,在金融、交通、国家电网等重要经济领域广泛使用, 并于201810月正式成为ISO/IEC国际标准。王小云代表论文50余篇,3篇获欧密会、美密会最佳论文,承担并完成了国家自然基金重点项目、杰出青年基金项目、国家863项目等。

中国密码学会评价王小云的科研工作这样说道,王小云将她多年积累的密码分析理论的优秀成果深入应用到密码系统的设计中,先后设计了多个密码算法与系统,为国家密码重大需求解决了实际问题,为保护国家重要领域和重大信息系统安全发挥了极大作用。其中,她设计的两个加密算法,用于国家重大航天工程,为保障航天安全通信做出了重要贡献。

三、优秀学生先容

王美琴,女,博士,山东大学教授,博士生导师,山东大学网络空间安全学院常务副院长,泰山学者特聘教授。2003.9--2007.6,山东大学研究生(博士)毕业,导师王小云院士。获国家密码科学技术进步一等奖(省部级,首位)和中国密码学会密码创新奖二等奖。近年来在EUROCRYPTASIACRYPTFSECT-RSAACNSSAC、《Designs,Codes and Cryptography》、《Cryptography and Communications》等密码学国际会议和国际期刊发表论文24 (其中CCF推荐A类和B类会议和期刊15),发表论文谷歌 Scholar引用1120次。主持了包括国家自然科学基金面上项目(2)、国家“973”计划子课题(1)、教育部新世纪优秀人才支撑计划项目、国家密码发展基金重点项目(2)及山东省优秀中青年科学家科研奖励基金计划等在内的10多项项目,参与国家自然科学基金重点项目(2)

陈佳哲,男,中国信息安全测评中心研究员。荣立二等功。

董晓阳,男,清华大学副研究员,入选中国科协青年人才托举工程。2012.092017.07 山东大学数学学院, 获博士学位, 导师王小云院士。近五年在高水平期刊和会议(中国密码学会CACR推荐列表B类级别以上)上以通讯编辑或第一编辑发表论文16 篇,包括国际对称密码顶级会议FSE/ToSC论文5篇,国际密码学顶级会议亚密会1 篇,密码学国际权威会议CT-RSA 2 篇,密码编码权威期刊Des. Codes Cryptogr. DCC4篇,中国科学4篇等;发表国际密码学顶级会议美密会1 篇。近两年(2018-2019)引用一百余次(GOOGLE学术)。设计了FESH分组密码,兼顾软硬件高效率,获得我国密码竞赛二等奖。参与973等重要课题,参与研发航天领域国家急需算法和系统。对SHA-3相关密钥算法的分析,得到SHA-3 设计团队(该团队负责人是AESSHA-3设计者Joan Daemen)肯定并颁发Ketje分析竞赛优胜奖(排名第一),这是SHA-3设计团队首次将分析竞赛奖颁给全部由国内学者完成的分析成果。2019年获国家自然科学基金青年科学基金项目,2018 年入选中国科协“青年人才托举工程”,同年获“十三五”国家密码发展基金重点项目支撑(位列重点支撑项目中第一);2017 年入选清华大学博士后支撑计划,获山东大学优秀毕业生等。

四、媒体报道及感人事迹

王小云院士的事迹被媒体报道过很多次,央视网、新华网、新浪科技、Tencent教育、中国妇女报、中华儿女资讯网等媒体都曾报道王老师的事迹。新华网曾在20191227日发表一篇题为“密码学家王小云:十年破解MD5SHA-1两大国际密码”的报道,报道中先容了密码以及密码学中的哈希函数;讲述了王小云的家国情怀,“破解了两大国际密码算法后,王小云放弃了参与设计美国向全球征集的新国际标准密码算法,转而设计国内的密码算法标准。此后,王小云和国内其他专家设计了我国首个哈希函数算法标准SM3。”;还讲述了王老师对研究生引导的故事,描述王老师为“严师”与“慈母”,“学生眼中,这位导师在学术上要求“特别严厉”。学生的论文,一定要做到最好才能发表,“如果做到第二或有稍微的改进空间,她都是不能接受的,会让学生继续深入做研究”。学术之外,王小云又很慈祥。丛天硕(王小云院士的博士生)打算申请一个国外实践时,王小云会对出行住宿仔仔细细问个清楚,担心学生的安全。“刚读博时,王老师会和学生沟通,根据大家的兴趣,制定培养计划,还给出很多研究方向,让大家去尝试。”丛天硕说。”

报道最后写的是王小运院士解密时的经历,“吴彦冰(王小云院士的博士生)曾听老师王小云讲起破解MD5的经历,“那时候王老师还没学过编程,就用手写推导的方式,写了400多页纸,几百个方程,推导了两三个月才得到结果。”吴彦冰跟着王小云做科研时,有过几次这样的经历,“白天忙了一天,晚上脑袋里突然蹦出来一个灵感,会亢奋得睡不着,就要顺着把理论推导完,不断尝试到底行不行”。”

中华儿女资讯网在2018112日也大幅报道了王小云院士的经历,题为“王小云 一览众山小 才识破风云”,先容王老师90年代做科研花光所有积蓄购买计算机和打印机,报道中评价“大舍大得,不舍不得”;还先容“王小云从1995年开始破解MD5SHA-1,到她2005年成功破解了SHA-1,经历了近10年的历程。在1996年到2004年期间,王小云一共才发表一篇文章。同行评价她:从不急功近利”。