报告题目:特征矩阵分析法

报告人：孙兵

报告人单位：国防科技大学文理学院

报告时间：2018-05-09，上午8:00-10:00

报告地点：郑州大学数学与统计学院310报告厅

报告摘要：本报告提出布尔函数的特征矩阵概念，并研究其密码学性质，在此基础上建立密码算法针对中间相遇攻击的可证明安全模型，指出在现有分析模型下AES等算法具有对中间相遇攻击的可证明安全。

报告人简介：空军第41期飞行学员，2009年毕业于国防科技大学获理学博士学位，比利时鲁汶大学访问学者，现为国防科技大学文理学院教授。长期从事对称密码的设计与分析研究，在CRYPTO、EUROCRYPT等密码学国际学术会议和期刊发表学术论文50余篇，在科学出版社出版专著1部。