Abstract:The Meet-in-the-Middle (MITM) preimage attack is highly effective in breaking the preimage resistance of many hash functions, including but not limited to the full MD5, HAVAL, and Tiger, and reduced SHA-0/1/2. It was also shown to be a threat to hash functions built on block ciphers like AES by Sasaki in 2011. Recently, such attacks on AES hashing modes evolved from merely using the freedom of choosing the internal state to also exploiting the freedom of choosing the message state. However, detecting such attacks especially those evolved variants is difficult. In previous works, the search space of the configurations of such attacks is limited, such that manual analysis is practical, which results in sub-optimal solutions. In this paper, we remove artificial limitations in previous works, formulate the essential ideas of the construction of the attack in well-defined ways, and translate the problem of searching for the best attacks into optimization problems under constraints in Mixed-Integer-Linear-Programming (MILP) models. The MILP models capture a large solution space of valid attacks; and the objectives of the MILP models are attack configurations with the minimized computational complexity. With such MILP models and using the off-the-shelf solver, it is efficient to search for the best attacks exhaustively. As a result, we obtain the first attacks against the full (5-round) and an extended (5.5-round) version of Haraka-512 v2, and 8-round AES-128 hashing modes, as well as improved attacks covering more rounds of Haraka-256 v2 and other members of AES and Rijndael hashing modes.

Meet-In-The-Middle Preimage Attacks Revisited New Results On Md5 And Haval

Automatic Search of Meet-in-the-Middle Preimage Attacks on AES-like Hashing

Meet-in-the-Middle Preimage Attacks on Sponge-based Hashing.

Multi-Collision Attack On The Compression Functions Of Md4 And 3-Pass Haval

MultiCollision Attack on the Compression Functions of MD4 and 3-Pass HAVAL.

Evade Deep Image Retrieval by Stashing Private Images in the Hash Space.

You See What I Want You to See: Exploring Targeted Black-Box Transferability Attack for Hash-based Image Retrieval Systems

Cryptanalysis of the full HAVAL with 4 and 5 passes

An Attack on Hash Function HAVAL-128

How to Break MD5 and Other Hash Functions

The second-preimage attack on MD4

Improved Meet-in-the-Middle Nostradamus Attacks on AES-like Hashing

Classical and Quantum Meet-in-the-Middle Nostradamus Attacks on AES-like Hashing

Cryptanalysis of the Hash Functions MD4 and RIPEMD

Meet-in-the-Middle Attacks Revisited: Focusing on Key-recovery and Collision Attacks.

Meet-in-the-Middle Attacks Revisited: Key-Recovery, Collision, and Preimage Attacks

Improved Preimage Attacks on 3-Round Keccak-224/256.

A New Non-MDS Hash Function Resisting Birthday Attack and Meet-in-the-middle Attack

Improved MITM Cryptanalysis on Streebog

Improved Cryptanalysis of Step-Reduced SM3

Cryptanalysis On Hmac/Nmac-Md5 And Md5-Mac