Toolkit for SAT-based attacks on cryptographic primitives
- Authors: Paweł Morawiecki, Marian Srebrny, and Mateusz Srebrny
- Website: http://www.pawelmorawiecki.pl/cryptlogver
CryptLogVer is a toolkit that can be used to mount SAT-based attacks on cryptographic primitives (block ciphers, stream ciphers, hash functions). The main advantage of CryptLogVer is that it greatly simplifies the creation of CNF out of a given crypto primitive. CNF formulas coding crypto primitives are usually very challenging for a SAT solver. Therefore CryptLogVer could be also helpful for SAT community in providing hard CNF instances.