z3++
☆29Dec 14, 2024Updated last year
Alternatives and similar repositories for z4
Users that are interested in z4 are comparing it to the libraries listed below
Sorting:
- HITCON 2023 x DEVCORE Wargame☆22Aug 24, 2023Updated 2 years ago
- Implementation of the fastest ISD algorithms☆23Feb 21, 2025Updated last year
- Pickle decompiler plugin for Radare2☆18Aug 6, 2023Updated 2 years ago
- A Sage interface for FGb (Gröbner basis computations)☆39Feb 1, 2026Updated last month
- Some writeups for some CTFs☆18Apr 14, 2024Updated last year
- An implementation of RSA extending Wiener attack☆16Dec 28, 2021Updated 4 years ago
- Capture The Flag for practice and contest☆17Dec 9, 2022Updated 3 years ago
- Predict and Backtrack MT19937 PRNG by putting 32 * 624 bits generated numbers. Python "random" standard library uses mt19937, so we can …☆40Dec 20, 2022Updated 3 years ago
- The world's first (and hopefully last) pure-bash implementation of the LLL algorithm☆19Aug 21, 2023Updated 2 years ago
- ☆112Apr 22, 2025Updated 10 months ago
- A toolkit for cryptanalysis using lattices.☆137Dec 2, 2023Updated 2 years ago
- Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs☆100Apr 20, 2021Updated 4 years ago
- ☆23Jul 18, 2023Updated 2 years ago
- Analysis and generation of substitutions☆25Oct 19, 2025Updated 4 months ago
- Make your first side-channel attack on public datasets with eShard. This is a mirror of scared Gitlab repository. All contributions and m…☆107Updated this week
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆23May 31, 2023Updated 2 years ago
- Functions for solving linear inequalities in integers☆59Jul 27, 2025Updated 7 months ago
- Prime backdooring procedure to allow fast factorization of semiprimes☆25Dec 10, 2021Updated 4 years ago
- linux kernel cross page attack demo module☆31Mar 15, 2023Updated 2 years ago
- Challenge source code and author write-ups for KalmarCTF☆70Jan 7, 2026Updated last month
- An R package implementing computational models of Eriksen flanker task performance.☆10Sep 19, 2025Updated 5 months ago
- Course material for CB2030☆13Feb 18, 2026Updated last week
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆140Apr 17, 2023Updated 2 years ago
- public archive for corCTF 2022☆37Aug 16, 2022Updated 3 years ago
- Cryfind is a tool to help you find crypto signatures in binary.☆36Oct 19, 2021Updated 4 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Nov 16, 2025Updated 3 months ago
- SMT based attacks on non cryptographic PRNGs☆91Mar 23, 2023Updated 2 years ago
- 台灣水庫即時水情與歷年統計☆15Updated this week
- Ethereum Bug Bounty Submission: Breaking ecdsa that uses `privKey xor message` as nonce.☆33Aug 10, 2022Updated 3 years ago
- A tutorial for the free Inkscape cross-platform vector graphics editor.☆13Oct 4, 2016Updated 9 years ago
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆88Updated this week
- A GitBook about creating a GitBook for teaching☆10Apr 21, 2020Updated 5 years ago
- A compilation of main commands for scikit-learn with examples☆11Apr 4, 2023Updated 2 years ago
- Fast python code to merge paired-end reads☆13Oct 29, 2021Updated 4 years ago
- Some files with nasty names☆48Nov 3, 2017Updated 8 years ago
- ActiveDriverDB☆12May 1, 2023Updated 2 years ago
- Implementation of Silvio Cesare text infection technic☆10Jan 5, 2018Updated 8 years ago
- ☆10Nov 23, 2021Updated 4 years ago
- ☆13Aug 15, 2024Updated last year