International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

A SAT-based preimage analysis of reduced KECCAK hash functions

Authors:
Pawel Morawiecki
Marian Srebrny
Download:
URL: http://eprint.iacr.org/2010/285
Search ePrint
Search Google
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.
BibTeX
@misc{eprint-2010-23186,
  title={A SAT-based preimage analysis of reduced KECCAK hash functions},
  booktitle={IACR Eprint archive},
  keywords={preimage attack, Keccak, satisfiability, algebraic cryptanalysis, logical cryptanalysis, SAT solvers},
  url={http://eprint.iacr.org/2010/285},
  note={ pawelm@wsh-kielce.edu.pl 14742 received 13 May 2010},
  author={Pawel Morawiecki and Marian Srebrny},
  year=2010
}