区分器的自动化搜索

MILP 自动化求解工具

差分区分器的搜索

线性区分器的搜索

不可能差分与零相关线性路线

分离特性的搜索

SAT 自动化求解工具

建模与实验记录

本章总结

#密码学#密码分析

#cryptography#cryptanalysis