Security margin evaluation of SHA-3 contest finalists through SAT-based attacks

Ekawat Homsirikamol, Pawel Morawiecki, Marcin Rogawski, Marian Srebrny. Security margin evaluation of SHA-3 contest finalists through SAT-based attacks. IACR Cryptology ePrint Archive, 2012:421, 2012. [doi]

Abstract

Abstract is missing.