New records of pre-image search of reduced SHA-1 using SAT solvers

DOI10.1007/978-981-16-6890-6_11MaRDI QIDQ2079908zbMATH OpenOpenAlexFDO

Authors Alessandro De Piccoli, Sergio Polese, Lorenzo Riva, Andrea Visconti, Emanuele Bellini, Rusydi H. Makarim

Publication date 7 October 2022

Full work available at URL https://doi.org/10.1007/978-981-16-6890-6_11

zbMATH Keywords

SAT solverpre-imageSHA-1

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions
• Applications of SAT solvers in cryptanalysis: finding weak keys and preimages
• Preimages for Reduced SHA-0 and SHA-1
• New preimage attacks against reduced SHA-1

Cites work

• scientific article; zbMATH DE number 3877077 (Why is no real title available?)
• Finding Collisions in the Full SHA-1
• From collisions to chosen-prefix collisions application to full SHA-1
• Handbook of knowledge representation.
• Higher-order differential meet-in-the-middle preimage attacks on SHA-1 and BLAKE
• Improved upper bounds for the expected circuit complexity of dense systems of linear equations over \(\mathrm{GF}(2)\)
• Keying hash functions for message authentication
• Meet-in-the-Middle Preimage Attacks Against Reduced SHA-0 and SHA-1
• Optimal speedup of Las Vegas algorithms
• Preimages for Reduced SHA-0 and SHA-1
• Second Preimages on n-Bit Hash Functions for Much Less than 2 n Work
• The MathSAT5 SMT solver
• The first collision for full SHA-1
• Theory and Applications of Satisfiability Testing

Cited in

(3)

• A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions
• Finding Preimages in Full MD5 Faster Than Exhaustive Search
• Inversion Attacks on Secure Hash Functions Using sat Solvers

Describes a project that uses

Uses Software

• GitHub
• MathSAT5
• Yices
• MiniSat

This page was built for publication: New records of pre-image search of reduced SHA-1 using SAT solvers

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