A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions

DOI10.1016/J.IPL.2013.03.004MaRDI QIDQ396606zbMATHOpenAlexFDO

Authors Paweł Morawiecki, Marian Srebrny

Publication date 13 August 2014

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2013.03.004

zbMATH Keywords

algebraic cryptanalysiscryptographyhash functionsSAT solvers\textsc{Keccak}logical cryptanalysis

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Rotational cryptanalysis of round-reduced \textsc{Keccak}
• Linear structures: applications to cryptanalysis of round-reduced \textsc{Keccak}
• Cryptanalysis of 2 round \textsc{Keccak}-384
• Cryptanalysis of 1-round KECCAK
• New records of pre-image search of reduced SHA-1 using SAT solvers

Cites work

• scientific article; zbMATH DE number 1113991 (Why is no real title available?)
• scientific article; zbMATH DE number 954401 (Why is no real title available?)
• A machine program for theorem-proving
• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• Cryptanalysis of Block Ciphers with Overdefined Systems of Equations
• Finding Collisions in the Full SHA-1
• How to fake an RSA signature by encoding modular root finding as a SAT problem
• New attacks on Keccak-224 and Keccak-256
• Practical Analysis of Reduced-Round Keccak
• SAT as a programming environment for linear algebra
• The complexity of theorem-proving procedures

Cited in

(15)

• Practical Analysis of Reduced-Round Keccak
• Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA
• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• Second Preimages on n-Bit Hash Functions for Much Less than 2 n Work
• New records of pre-image search of reduced SHA-1 using SAT solvers
• Cryptanalysis of round-reduced KECCAK using non-linear structures
• Improved practical attacks on round-reduced Keccak
• Automatic search of linear structure: applications to \textsc{Keccak} and \textsc{Ascon}
• Applications of SAT solvers in cryptanalysis: finding weak keys and preimages
• Automated-based rebound attacks on ACE permutation
• Linear structures: applications to cryptanalysis of round-reduced \textsc{Keccak}
• Preimage attacks on 4-round Keccak by solving multivariate quadratic systems
• Automatic search of meet-in-the-middle and impossible differential attacks
• Exploring SAT for cryptanalysis: (quantum) collision attacks against 6-round SHA-3
• A comparison of local reduction and SAT-solver based algebraic cryptanalysis of JH and Keccak

Describes a project that uses

Uses Software

• PrecoSAT
• Keccak
• CryptLogVer

This page was built for publication: A SAT-based preimage analysis of reduced \textsc{Keccak} hash functions

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