runtimeverification / secureum-kontrol
☆10Updated 10 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☆28Updated 8 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
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆16Updated 3 weeks ago
- ☆18Updated last month
- Foundry + Yul puzzles☆33Updated last year
- ☆15Updated 2 years ago
- ☆21Updated last year
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆30Updated last year
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆29Updated 2 months ago
- ☆16Updated 9 months ago
- A collection of my security audits☆54Updated last month
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 7 months ago
- ☆46Updated last year
- Boilerplate test creation and Foundry initialisation for solidity smart contract audits☆20Updated 2 years ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆50Updated last week
- A collection of awesome Wake tests including links to guides and more.☆10Updated 5 months ago
- Diagrams for Solidity contracts☆46Updated last year
- Solidity CTF challenge from BSides TLV 2022☆14Updated 2 years ago
- Identify flashloan bots in multiple chains☆34Updated 2 years ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- List of the public smart contract audit reports and security reviews performed by Hexens.☆33Updated this week
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Updated 3 years ago
- Checklist for security audit of tron projects by @positivesecurity☆23Updated 6 months ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- Web3.0 Audit Resources and Competition Materials☆17Updated this week
- Publicly available audits and bug reports☆16Updated last week
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 2 weeks ago
- Smart Contract Security Practice | Lv1 Fallback Attack☆16Updated 3 years ago
- ☆42Updated 5 months ago