Certora / SecurityReports
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
☆18Updated 2 weeks ago
Alternatives and similar repositories for SecurityReports:
Users that are interested in SecurityReports are comparing it to the libraries listed below
- Checklist for security audit of tron projects by @positivesecurity☆23Updated 7 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆57Updated last month
- Damn Vulnerable DeFi v4 Solutions☆42Updated 7 months ago
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆29Updated 3 months ago
- Solo High severity findings from contests 2024☆27Updated 4 months ago
- Web3.0 Audit Resources and Competition Materials☆17Updated this week
- ☆21Updated last year
- CTF challenges made by MiloTruck☆68Updated 8 months ago
- Collection of past CTFs to play and practice locally.☆52Updated 8 months ago
- Public profile of my adventure as a blockchain and smart contract security auditor.☆70Updated last month
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆34Updated 4 months ago
- Index of Rareskill Blog posts using playwright☆21Updated last year
- Practical fuzzing examples for the mastering fuzzing talk☆110Updated last year
- ☆40Updated 4 months ago
- Diagrams for Solidity contracts☆47Updated last year
- A collection of my security audits☆53Updated 2 months ago
- ☆76Updated last year
- ☆49Updated 6 months ago
- This repository represents my portfolio of smart contract security audits and audit contest findings☆51Updated 3 months ago
- Smart Contract Audits and Findings by @0xJuancito☆31Updated 11 months ago
- easy POC template generation from the command line☆75Updated 8 months ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated 9 months ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- ☆19Updated 7 months ago
- Series of CTF challenges based off real world smart contract vulnerabilities.☆27Updated last year
- Immunefi Contract DB - Search Bugs☆28Updated 5 months ago
- ☆50Updated 9 months ago
- A portfolio repository for Egis Security's past audits☆58Updated 2 weeks ago
- Smart contract auditing portfolio☆36Updated 9 months ago
- A Solidity code search tool with built-in static analysis detection☆74Updated 9 months ago