基于分治策略的SAT差分自动化搜索算法及其应用OACSTPCD
SAT-based differential automatic search algorithm using divide-and-conquer strategy and its applications
为了提高自动化搜索效率,结合分治策略提出了一种基于SAT模型的最优差分特征搜索算法.利用任意部分连续轮的Matsui边界条件提供的信息,将搜索空间划分为互不相交的子集.通过分析SAT差分模型间的可满足性关系,提出一种降序分支搜索链模型.进一步地,在模型优化层面,减少了需搜索划分子集数量的方法;在算法实现层面,结合并行技术实现对模型搜索空间的约减.将加速算法应用于ARX类密码算法族SPECK,获得了 20 轮、14 轮、11 轮 SPECK-48、SPECK-96、SPECK-128 的最优差分特征,较现有最好结果分别提高了 1轮、4轮、2轮.
胡斌;谈潇;王森鹏
信息工程大学密码工程学院,河南 郑州 450001信息工程大学密码工程学院,河南 郑州 450001信息工程大学密码工程学院,河南 郑州 450001||密码科学技术国家重点实验室,北京 100878
信息技术与安全科学
差分特征分组密码自动化搜索分治策略
《通信学报》 2023 (4)
137-144,8
国家自然科学基金资助项目(No.62102448)
评论