A SAT-based preimage analysis of reduced Keccak hash functions

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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information processing letters 2013-05, Vol.113 (10-11), p.392-397
Hauptverfasser:	Morawiecki, Paweł, Srebrny, Marian
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebraic cryptanalysis Cryptography Data encryption Hash functions Keccak Logical cryptanalysis Mathematical functions SAT solvers Security management Studies
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!