epistemologist / des_symbolicLinks
Representing DES in Z3
☆15Updated 2 years ago
Alternatives and similar repositories for des_symbolic
Users that are interested in des_symbolic are comparing it to the libraries listed below
Sorting:
- ☆54Updated 3 weeks ago
- Automated cryptanalysis of substitution permutation network cipher☆32Updated last year
- ☆35Updated 2 years ago
- my ctf chals☆11Updated 2 months ago
- ☆34Updated 2 years ago
- ☆22Updated 6 months ago
- Functions for solving linear inequalities in integers☆55Updated last month
- A Sage interface for FGb (Gröbner basis computations)☆38Updated last year
- Fast lattice reduction☆213Updated 3 weeks ago
- rkm0959 implements stuff☆44Updated 3 years ago
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆138Updated 2 years ago
- Implements Coron's simplification of Coppersmith's algorithm☆10Updated 8 years ago
- Prime backdooring procedure to allow fast factorization of semiprimes☆24Updated 3 years ago
- Repo for collecting part of my public CTF challenges☆41Updated last year
- SMT based attacks on non cryptographic PRNGs