A SAT-based preimage analysis of reduced Keccak hash functions
P Morawiecki, M Srebrny - Information Processing Letters, 2013 - Elsevier
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 showed that full Keccak function has a comfortable
security margin against this kind of attack.
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 showed that full Keccak function has a comfortable
security margin against this kind of attack.
以上显示的是最相近的搜索结果。 查看全部搜索结果