Monthly Archives: January 2011

CryptLogVer

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 … Continue reading

Posted in Tools | Comments Off