Preimage attack on round-reduced Skein512-256 compression function using SAT solver

MaRDI QIDQ7318079zbMATH OpenFDO

Authors Oleg Sergeevich Zaikin

Publication date 24 August 2026

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

Mathematics Subject Classification ID

Computer science (68-XX) Information and communication theory, circuits (94-XX)

Cites work

• Algebraic Cryptanalysis
• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• Bicliques for preimages: attacks on Skein-512 and the SHA-2 family
• GRASP: a search algorithm for propositional satisfiability
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• Technology for translating combinatorial problems into Boolean equations
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Preimage attack on round-reduced Skein512-256 compression function using SAT solver

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