You are looking at a specific version 20101019:140641 of this paper. See the latest version.

Paper 2010/285

A SAT-based preimage analysis of reduced KECCAK hash functions

Pawel Morawiecki and Marian Srebrny

Abstract

In this paper, we present a preimage attack on reduced versions of Keccak hash functions. We use our recently developed toolkit CryptLogVer for generating CNF (conjunctive normal form) which is passed to the SAT solver PrecoSAT. We found preimages for some reduced versions of the function and showed that full Keccak function is secure against the presented attack.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. The paper was presented at Second SHA3 Candidate Conference, Santa Barbara 2010
Keywords
preimage attackKeccaksatisfiabilityalgebraic cryptanalysislogical cryptanalysisSAT solvers
Contact author(s)
pawelm @ wsh-kielce edu pl
History
2010-10-19: revised
2010-05-14: received
See all versions
Short URL
https://ia.cr/2010/285
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.