CryptLogVer

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

Anything in here will be replaced on browsers that support the canvas element