| ARX Toolkit |
Gaëtan Leurent |
The ARX toolkit is a set of tools to study ARX ciphers and hash functions |
| ASCAtoCNF |
Mathieu Renauld |
Simulating Algebraic Side-Channel Attacks (ASCA) |
| Automated Algebraic Cryptanalysis |
Paul Stankovski |
A simple tool for the automatic algebraic cryptanalysis of a large array of stream- and block ciphers |
| BMW Compression Function Distinguishers |
Jian Guo and Søren S. Thomsen |
Deterministic Differential Properties of the BMW Compression Function |
| CodingTool Library |
Tomislav Nad |
Tool for cryptanalysis based on coding theory |
| CryptLogVer |
Paweł Morawiecki, Marian Srebrny, Mateusz Srebrny |
Toolkit for SAT-based attacks on cryptographic primitives |
| Grain of Salt |
Mate Soos |
An automated way to test stream ciphers through SAT solvers |
| Hashclash |
Marc Stevens |
Framework for MD5 & SHA-1 Differential Path Construction and Chosen-Prefix Collisions for MD5 |
| Hybrid Approach |
Luk Bettale, Jean-Charles Faugère, Ludovic Perret |
A tool for multivariate cryptography |
| Information Set Decoding |
ISD dev team |
A tool for information set decoding |
| KeccakTools |
Guido Bertoni, Joan Daemen, Michaël Peeters, Gilles Van Assche |
A set of documented C++ classes to help analyze Keccak-f |
| Sage |
Multiple |
Free open-source mathematics software system, also containing many modules for cryptography |
| Linear Hull Cryptanalysis of PRESENT |
Bingsheng Zhang |
A tool to compute linear hulls for PRESENT |
| S-function Toolkit |
Nicky Mouha, Vesselin Velichkov, Christophe De Cannière, Bart Preneel |
Toolkit for the differential cryptanalysis of S-functions |
| SYMAES |
Vesselin Velichkov, Vincent Rijmen, Bart Preneel |
A Fully Symbolic Polynomial System Generator for AES-128 |
| Tools for Algebraic Cryptanalysis |
Martin Albrecht |
Tools for the algebraic cryptanalysis of cryptographic primitives |
