CryptLogVer

Security margin evaluation of SHA-3 contest finalists through SAT-based attacks: Toolkit CryptLogVer for generating the conjunctive normal form, CNF.


References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. 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)
  2. Morawiecki, Paweł; Srebrny, Marian: A SAT-based preimage analysis of reduced \textscKeccakhash functions (2013)
  3. Homsirikamol, Ekawat; Morawiecki, Paweł; Rogawski, Marcin; Srebrny, Marian: Security margin evaluation of SHA-3 contest finalists through SAT-based attacks (2012) ioport