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

SATalgebraic cryptanalysislogical cryptanalysiscryptographic hash functionMD5

Mathematics Subject Classification ID

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

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)