基于组合优化方法的对称密码自动化分析技术

Combinatorial optimization is a widely applicable mathematical method with a long history. Many efficient algorithms and powerful solvers have been developed and implemented with the collaborative effort of the academic and industrial communities..This project studies the techniques for automatic cryptanalysis of symmetric-key cryptographic algorithms based on mixed-integer programming (MIP), satisfiability theory (SAT), satisfiability modular theory (SMT), constraint programming and other combinatorial optimization methods, which mainly includes: (1) the application of automatic techniques in symmetric-key cryptanalysis, especially its application in the phase of key recovery; (2) customized algorithms for solving crypto-related combinatorial optimization models..This project emphasizes the real application of the automatic techniques in cryptanalysis. We will develop software tools for automatic cryptanalysis , perform extensive and large scale computational experiments, and apply it to support the work of related organizations.

组合优化是一类应用广泛且历史悠久的数学方法，针对许多组合优化问题，学术界和工业界紧密配合，不断提出和开发了更高效的求解算法与更实用的软件工具。.本课题以包括整数规划（MIP），逻辑可满足问题（SAT），可满足模问题（SMT）以及经典约束规划（CP）等在内的组合优化技术为基本工具，探索对称密码算法的自动化分析技术。主要包括：（1）自动化方法，尤其是差分、线性类分析中密钥恢复阶段的自动化方法在对称密码分析中的应用；（2）密码学相关组合优化模型的求解算法。. 本项目注重自动化方法的实际应用，我们将开发自动化分析与搜索工具，进行大规模的计算实验，并将其在相关部门的实际工作中进行应用。

组合优化是一类应用广泛且历史悠久的数学方法，针对许多组合优化问题，学术界和工业界紧密配合，不断提出和开发了更高效的求解算法与更实用的软件工具。 本项目以包括整数规划（MIP），逻辑可满足问题（SAT），可满足模问题（SMT）以及经典约束规划（CP）等在内的组合优化技术为基本工具，探索对称密码算法的自动化分析技术。 主要包括：（1）自动化方法，尤其是差分、线性类分析中密钥恢复阶段的自动化方法在对称密码分析中的应用；（2）密码学相关组合优化模型的求解算法。本项目注重自动化方法的实际应用，我们将开发自动化分析与搜索工具，进行大规模的计算实验，并将其在相关部门的实际工作中进行应用。