基于SAT方法进一步加速差分特征的搜索
2022-12-06 14:51:16   来源：    点击：

摘 要:回顾了孙等使用Matsui边界条件加速差分特征搜索的方法，为了进一步提高搜索效率，改进了Matsui 边界条件以及利用 Matsui 边界条件加速差分特征自动化搜索的方法，并提出了一种改进的方法来搜索分组密码的最优差分特征。研究了线程数和询问条件的加速效果并提出了选择线程数以及询问条件的策略。使用 STP 和 CryptoMiniSat 分别搜索概率为 2-2、2- 、2- 的 8 轮 SPECK96 差分特征以及概率为 2-的 11 轮 HIGHT 差分特征，并比较了在不同线程数和问条下求解 SAT/SMT 问题的耗时。研究发现线程数对搜索差分特征的耗时影响较大，而询问条件对搜索差分特征的耗时影响较小，从而提出了一种如何选择线程数和询问条件的策略。根据所提策略，使用改进的边界条件和方法搜索HIGHT 的 11 轮最优差分特征，并首次获得了 HIGHT 的 11 轮最优差分特征的紧致概率，即 2 。现的 11 轮 HIGHT 最优差分特征概率的最紧致边界是 P >2- 。。这就意味着，利用现有 11 轮 HIGHT 最优差分特征概率的最紧致边界无法给出 11 轮 HIGHT 抗差分分析安全性的精确评估。因此，所提策略的结果是目前已知的最优结果。