A SAT-based preimage analysis of reduced Keccak hash functions

Pawel Morawiecki, Marian Srebrny. A SAT-based preimage analysis of reduced Keccak hash functions. Inf. Process. Lett., 113(10-11):392-397, 2013. [doi]

Abstract

Abstract is missing.