International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Marian Srebrny

Affiliation: University of Commerse, Kielce, POLAND

Publications

Year
Venue
Title
2015
EPRINT
2015
EUROCRYPT
2014
EPRINT
2014
EPRINT
2014
CHES
2013
FSE
2010
EPRINT
A SAT-based preimage analysis of reduced KECCAK hash functions
Pawel Morawiecki Marian Srebrny
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.