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 3 articles )
Showing results 1 to 3 of 3.
- 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)
- Homsirikamol, Ekawat; Morawiecki, Paweł; Rogawski, Marcin; Srebrny, Marian: Security margin evaluation of SHA-3 contest finalists through SAT-based attacks (2012) ioport