Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4

20 February 2018

Papers citing "Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4"

3 / 3 papers shown

Title
Decomposing Hard SAT Instances with Metaheuristic Optimization D. Chivilikhin Artem Pavlenko Alexander A. Semenov 24 1 0 16 Dec 2023
Inverting Cryptographic Hash Functions via Cube-and-Conquer O. Zaikin 40 3 0 05 Dec 2022
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems A. Semenov I. Otpuschennikov I. Gribanova O. Zaikin S. Kochemazov 49 16 0 17 May 2018