epistemologist / des_symbolicLinks
Representing DES in Z3
☆15Updated last year
Alternatives and similar repositories for des_symbolic
Users that are interested in des_symbolic are comparing it to the libraries listed below
Sorting:
- Automated cryptanalysis of substitution permutation network cipher☆31Updated 9 months ago
- ☆47Updated last month
- ☆31Updated 2 years ago
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆29Updated last month
- ☆33Updated last year
- ☆21Updated 3 months ago
- my ctf chals☆10Updated 6 months ago
- ☆11Updated last month
- Implements Coron's simplification of Coppersmith's algorithm☆10Updated 8 years ago
- Repo for collecting part of my public CTF challenges☆41Updated last year
- Revisiting Differential-Linear Attacks via a Boomerang Perspective☆10Updated 2 months ago
- ☆14Updated last year
- Functions for solving linear inequalities in integers☆49Updated 2 months ago