Using z3 to predict `Math.random` in v8
☆343Jul 23, 2022Updated 3 years ago
Alternatives and similar repositories for v8-randomness-predictor
Users that are interested in v8-randomness-predictor are comparing it to the libraries listed below
Sorting:
- Some challenge solutions solved using z3☆237Oct 11, 2022Updated 3 years ago
- ☆78Apr 20, 2020Updated 5 years ago
- ☆15Sep 2, 2024Updated last year
- ☆37Sep 18, 2023Updated 2 years ago
- Solving linear systems over GF(2) by manipulating bitvectors☆82Feb 12, 2026Updated 3 weeks ago
- Inti easter challenge poc☆18May 4, 2021Updated 4 years ago
- Attacking ECDSA with nonce leakage using lattice-based algorithms☆43Nov 19, 2025Updated 3 months ago
- ☆12Jan 10, 2024Updated 2 years ago
- Pickle decompiler plugin for Radare2☆18Aug 6, 2023Updated 2 years ago
- ☆24Mar 4, 2025Updated last year
- Functions for solving linear inequalities in integers☆60Jul 27, 2025Updated 7 months ago
- ☆67Nov 10, 2025Updated 3 months ago
- CVP "trick" for CTF challenges☆150Jun 19, 2023Updated 2 years ago
- Coppersmith method (solving polynomial equation over composite modulus on small bounds)☆124Dec 21, 2024Updated last year
- Implements Coron's simplification of Coppersmith's algorithm☆43Oct 10, 2023Updated 2 years ago
- SMT based attacks on non cryptographic PRNGs☆91Mar 23, 2023Updated 2 years ago
- QilingLab challenge writeup☆22Sep 25, 2021Updated 4 years ago
- A Sage interface for FGb (Gröbner basis computations)☆39Feb 1, 2026Updated last month
- Python sandbox escape wiki + payload generator☆142Sep 18, 2024Updated last year
- ☆26Feb 24, 2022Updated 4 years ago
- Generate DOM clobbering attack vectors for you.☆35Jun 3, 2025Updated 9 months ago
- 試試你的好手氣☆41Jan 26, 2026Updated last month
- ☆113Jun 19, 2022Updated 3 years ago
- [USENIX Security '25] My ZIP isn’t your ZIP: Identifying and Exploiting Semantic Gaps Between ZIP Parsers☆38Aug 22, 2025Updated 6 months ago
- HITCON 2023 x DEVCORE Wargame☆22Aug 24, 2023Updated 2 years ago
- Repo for talk slides & materials☆21Nov 22, 2024Updated last year
- Cryfind is a tool to help you find crypto signatures in binary.☆36Oct 19, 2021Updated 4 years ago
- Find all libraries on cdn.js that pollute your prototype☆19Sep 1, 2022Updated 3 years ago
- We implement the progressive Improved Progressive BKZ with Lattice Sieving presented in https://eprint.iacr.org/2022/1343, one can call i…☆13Feb 14, 2025Updated last year
- Fast threaded padding oracle attack automation script for Python 3.☆38Nov 25, 2023Updated 2 years ago
- Python implementation of a symbolic execution of MT19937 and a solver for GF(2) matrices☆40Aug 1, 2020Updated 5 years ago
- ☆42Jun 27, 2022Updated 3 years ago
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Sep 5, 2022Updated 3 years ago
- CTF writeups by ./Vespiary☆16Nov 12, 2023Updated 2 years ago
- Generates a `php://filter` chain that adds a prefix and a suffix to the contents of a file.☆237Oct 8, 2024Updated last year
- My browser pwn collections. Mainly JavaScript engine stuff.☆33Jan 27, 2025Updated last year
- Challenge archive☆25Apr 10, 2025Updated 10 months ago
- A service that is similar to RawGit, but this one is running on CloudFlare Workers.☆27May 31, 2023Updated 2 years ago
- rkm0959 implements stuff☆45Sep 21, 2022Updated 3 years ago