Stars
All Algorithms implemented in Python
Python implementations of cryptographic attacks and utilities.
pySMT: A library for SMT formulae manipulation and solving
CRC32 tools: reverse, undo/rewind, and calculate hashes
Using z3 to predict `Math.random` in v8
Library for programming zk-SNARKs directly in Python
Predict MT19937 PRNG, from preceding 624 generated numbers. There is a specialization for the "random" of Python standard library.
Miscellaneous utilities and such that I use for pwning. Open sourced since people might find these useful. Be warned: nothing is stable.
Pure Python hash length extension module
Coppersmith method (solving polynomial equation over composite modulus on small bounds)
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs
Fault attack agaisnt EdDSA demonstrated on an Arduino Nano board, allowing for partial key recovery and fake signatures.
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
Functions for solving linear inequalities in integers
A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
A Sage interface for FGb (Gröbner basis computations)
Automated cryptanalysis of substitution permutation network cipher
Calculate the AES-128 key schedule given any round key
Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS