Inverting 29-step MD5 compression function via SAT

MaRDI QIDQ6899630zbMATH OpenFDO

Authors Oleg Sergeevich Zaikin

Publication date 14 November 2025

Published in Prikladnaya Diskretnaya Matematika. Supplement (Search for Journal in Brave)

zbMATH Keywords

algebraic cryptanalysiscryptographic hash functionlogical cryptanalysisMD5SAT

Mathematics Subject Classification ID

Computer science (68-XX) Operations research, mathematical programming (90-XX)

Cites work

• Algebraic Cryptanalysis
• GRASP: a search algorithm for propositional satisfiability
• How to Break MD5 and Other Hash Functions
• scientific article; zbMATH DE number 7199588 (Why is no real title available?)
• Inversion Attacks on Secure Hash Functions Using sat Solvers
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
• The first two rounds of MD4 are not one-way
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Inverting 29-step MD5 compression function via SAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6899630)