iczc / rwctf-6th-safebridge
☆10Updated last year
Alternatives and similar repositories for rwctf-6th-safebridge:
Users that are interested in rwctf-6th-safebridge are comparing it to the libraries listed below
- ☆11Updated 2 years ago
- ☆12Updated 2 years ago
- ☆16Updated 6 months ago
- ☆37Updated 10 months ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆11Updated 8 months ago
- Writeup for Move CTF 2022 by MoveBit and others.☆18Updated 2 years ago
- This repository introduces our research in source code verifier, including PoC, related issues implementation code and other content.☆19Updated last year
- ☆12Updated last year
- ☆40Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- An EVM bytecode disassembler/assembler☆45Updated 3 months ago
- Numen Cyber Smart Contract CTF☆46Updated 2 years ago
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- Cross-Contract Reentrancy Demo☆26Updated 3 years ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆71Updated 11 months ago
- Fuzzing campaign for https://github.com/drips-network/contracts☆10Updated last year
- Low Noise Semgrep Security Rules☆19Updated 2 months ago
- CTF Writeups☆37Updated last year
- MEV Olympics☆45Updated 4 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- ☆11Updated 9 months ago
- Supporting code for relay.ultrasound.money☆24Updated 3 weeks ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Updated last month
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- ☆10Updated 2 years ago
- RealWorld CTF 3rd billboard challenge & writeup☆27Updated 2 years ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- ☆28Updated 9 months ago
- ☆11Updated 2 years ago
- ☆10Updated last year