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

DOI10.1016/J.IPL.2013.03.004zbMATH Open1358.94072OpenAlexW1968465898MaRDI QIDQ396606FDOQ396606

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

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

zbMATH Keywords

algebraic cryptanalysiscryptographyhash functionsSAT solvers\textsc{Keccak}logical cryptanalysis

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

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

Cited In (14)

• Preimage attacks on 4-round Keccak by solving multivariate quadratic systems
• Cryptanalysis of round-reduced KECCAK using non-linear structures
• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• Automatic search of linear structure: applications to \textsc{Keccak} and \textsc{Ascon}
• A comparison of local reduction and SAT-solver based algebraic cryptanalysis of JH and Keccak
• Second Preimages on n-Bit Hash Functions for Much Less than 2 n Work
• Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA
• Improved practical attacks on round-reduced Keccak
• Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages
• Linear Structures: Applications to Cryptanalysis of Round-Reduced Keccak
• Automated-based rebound attacks on ACE permutation
• Exploring SAT for cryptanalysis: (quantum) collision attacks against 6-round SHA-3
• Practical Analysis of Reduced-Round Keccak
• Automatic Search of Meet-in-the-Middle and Impossible Differential Attacks

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)