runtimeverification / secureum-kontrol
☆10Updated 8 months ago
Alternatives and similar repositories for secureum-kontrol:
Users that are interested in secureum-kontrol are comparing it to the libraries listed below
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆25Updated 6 months ago
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Updated last year
- Foundry + Yul puzzles☆32Updated last year
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆30Updated 9 months ago
- ☆10Updated last year
- Boilerplate test creation and Foundry initialisation for solidity smart contract audits☆20Updated 2 years ago
- ☆15Updated last year
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆29Updated last week
- A collection of my security audits☆54Updated 3 weeks ago
- ☆48Updated last year
- Diagrams for Solidity contracts☆44Updated 10 months ago
- ☆19Updated 6 months ago
- ☆22Updated last year
- ☆22Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated last month
- Fuzzing campaign for https://github.com/drips-network/contracts☆10Updated last year
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆48Updated last week
- Formally verifying consistency between Solmate and Solady using Halmos☆53Updated 5 months ago
- Web3.0 Audit Resources and Competition Materials☆17Updated this week
- Fuzzing solmate with medusa☆10Updated last year
- ☆29Updated last year
- Solidity CTF challenge from BSides TLV 2022☆14Updated 2 years ago
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆29Updated last month
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated last year
- The repository reflects the collection of unusual findings from my smart contract audits.☆14Updated 8 months ago
- List of the public smart contract audit reports and security reviews performed by Hexens.☆31Updated last month
- Contains every issue l have ever found, while doing public auditing.☆30Updated last year
- Automates the verification of Solidity tests written using BTT technique☆18Updated 4 months ago