对称密码的自动化分析

课程编码：1802290812Z1P4002H 英文名称：Automatic Symmetric-key Cryptanalysis 课时：20 学分：1.00 课程属性：研讨课 主讲教师：孙思维等

本课程是密码学院信息安学科专业研讨课。本课程围绕近期对称密码自动化分析的主要思想和关键技术展开研讨。通过本课程的学习,希望学生能熟悉对称密码自动化分析的理论、方法和工具，为未来实际的密码分析、测评与设计工作打好基础。

无

第一章 Matsui算法及其优化
第1节 Matsui算法介绍及优化 2.0学时 孙思维
第二章 自动分析方法介绍
第1节 基于CP的自动分析 1.0学时 孙思维
第2节 基于MILP的自动分析 2.0学时 孙思维
第3节 基于SAT的自动分析 1.0学时 孙思维
第三章 自动化差分攻击
第1节 差分原理简述 1.0学时 孙思维
第2节 Sbox差分分布表建立 1.0学时 孙思维
第3节 差分建模实验 2.0学时 孙思维
第四章 自动化线性攻击
第1节 线性原理简述 1.0学时 史丹萍
第2节 Sbox线性分布表建立 1.0学时 史丹萍
第3节 线性建模实验 1.0学时 史丹萍
第五章 自动化中间相遇攻击
第1节 中间相遇原理简述 1.0学时 史丹萍
第2节 中间相遇攻击建模 3.0学时 史丹萍
第六章 自动化可分攻击
第1节 可分攻击原理简述 1.0学时 史丹萍
第2节 基于比特、字节的可分攻击建模 2.0学时 史丹萍

孙思维，中国科学院大学密码学院教授，博士生导师。主要研究兴趣为对称密码算法设计与分析自动化、密码算法的优化与安全实现以及基于量子计算的对称密码分析。近些年在Journal of Cryptology、CRYPTO、EUROCRYPT、ASIACRYPT、FSE、USENIX Security、DSN等密码学和信息安全会议上发表论文40余篇。参与了973和国家变革性重点研发计划等多个重要项目，主持国家重点研发计划课题一项，主持“十三五”密码发展基金重点项目一项。设计并开发了一套基于混合整数规划的自动化密码分析平台，在多个国家相关部门的算法分析与设计任务中得到了重要应用。2020年获中国密码学会密码创新奖。 史丹萍，中国科学院信息工程研究所副研究员，中科院青促会成员，中国科协青年人才托举工程入选者，中国密码学会青年工作委员会委员。在三大密码旗舰会上发表论文8篇，主持国家自然科学基金面上、青年，骨干参与973、国家重点研发计划。