基于分治策略的SAT差分自动化搜索算法及其应用 - 胡斌; 谈潇; 王森鹏 (通信学报, 2023)
Keywords: 分组密码; 差分特征; 分治策略; 自动化搜索