CryptLogVer

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