Security margin evaluation of SHA-3 contest finalists through SAT-based attacks: Toolkit CryptLogVer for generating the conjunctive normal form, CNF.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Dinur, Itai; Morawiecki, Paweł; Pieprzyk, Josef; Srebrny, Marian; Straus, Michał: Cube attacks and cube-attack-like cryptanalysis on the round-reduced Keccak sponge function (2015)
- Morawiecki, Paweł; Srebrny, Marian: A SAT-based preimage analysis of reduced Keccak hash functions (2013)