利用松弛约束自动生成改进对 39 步 MD4 的原像攻击
人工智能
2019-10-07 v1
摘要
本文构造了对 MD4 哈希函数截断变体的原像攻击。具体而言，我们研究了由 MD4 算法前 39 步定义的 MD4-39 函数。我们提出了一种针对 MD4-39 的新攻击，其发展了 H. Dobbertin 于 1998 年提出的思想。即，引入特殊的松弛约束以简化对应于寻找任意 MD4-39 哈希值原像问题的方程。补充了松弛约束的方程随后被归约为布尔可满足性问题（SAT）并使用最先进的 SAT 求解器求解。我们表明，一组松弛约束的有效性可以使用一种特殊类型的黑盒函数进行评估。因此，我们通过对该函数应用黑盒优化，提出了一种松弛约束自动生成方法。所提出的方法使得能够找到新的松弛约束，这些约束有助于基于 SAT 的 MD4-39 原像攻击，其显著优于现有竞争方法。
引用
@article{arxiv.1802.06940,
title = {Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4},
author = {Irina Gribanova and Alexander Semenov},
journal= {arXiv preprint arXiv:1802.06940},
year = {2019}
}
备注
This paper was submitted to MIPRO 2018 as a conference paper