modular code cryptanalysis library

Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F3/STM32F4)

M4GB: Efficient Groebner Basis algorithm

FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package

GPU code for the first SHA-1 collision attack and two freestart attacks

Lattice algorithms using floating-point arithmetic

GF256 - Fast 8-bit Galois Field Math in C

Recognize cpu instructions in an arbitrary binary file

The Z3 Theorem Prover