A signature-based SAT solver for cryptographic instances.
-
Updated
Sep 7, 2026 - C++
A signature-based SAT solver for cryptographic instances.
Implementation and round-reduced preimage attacks on BLAKE2s hash function.
Master's thesis papers, reports and presentations.
Brute-force preimage and collision attacks against truncated SHA-1 in Java, measuring work against the birthday bound
Implementation and round-reduced preimage attacks on BLAKE-256 hash function.
Practical preimage attacks on the 19- and 20-round SHA-256 compression function: papers, solver, witnesses, and independent verifier
To associate your repository with the preimage-attack topic, visit your repo's landing page and select "manage topics."