报告题目：数学工具在密码分析与设计中的应用

演讲摘要：对称密码算法安全性依赖于加密算法与随机置换（函数）的不可区分性质。挖掘密码算法的非随机统计特征是进行安全性分析的关键任务。不同的攻击方法对应不同的非随机统计特征。搜索各类攻击的非随机统计特征是启发式算法，算法实现复杂且难以给出最优特征，为密码算法的优化设计造成障碍。如何将密码算法非随机数学特征的搜索刻画为布尔方程，然后利用数学工具如混合整数线性规划求解工具和布尔可满足行问题求解工具进行最优非随机数学特征的搜索，从而将该工作自动化实现，提升密码算法分析效率，促进密码算法的优化设计。该报告将介绍如何利用数学工具将对称密码算法分析与设计进行自动化。

讲者简介：山东大学网络空间安全学院常务副院长，山东大学密码技术与信息安全教育部重点实验室副主任，教育部网络空间安全专业教指委委员。主要研究方向是对称密码算法分析与设计。在密码领域顶级会议、重要会议和期刊上发表论文60余篇。入选教育部新世纪优秀人才计划和泰山学者特聘教授。