[Resource Topic] 2010/285: A SAT-based preimage analysis of reduced KECCAK hash functions

Welcome to the resource topic for 2010/285

Title:
A SAT-based preimage analysis of reduced KECCAK hash functions

Authors: Pawel Morawiecki, 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.

ePrint: https://eprint.iacr.org/2010/285

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .