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.
☆30Jan 13, 2026Updated last month
Alternatives and similar repositories for SecurityReports
Users that are interested in SecurityReports are comparing it to the libraries listed below
Sorting:
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Feb 25, 2025Updated last year
- Node module for scanning and visualize Solana accounts☆39Mar 3, 2025Updated last year
- AI Agent Instructions for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker sto…☆55Feb 23, 2026Updated last week
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- Talk with EVM Bytecode using webLLM☆15Jan 26, 2025Updated last year
- All the private and public audits that I have worked on.☆165Feb 24, 2026Updated last week
- Solutions to the Ethernaut Levels☆16Oct 22, 2022Updated 3 years ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆127May 28, 2025Updated 9 months ago
- ☆18Feb 11, 2026Updated 2 weeks ago
- ☆24Updated this week
- Institutional-grade web3 security.☆332Feb 11, 2026Updated 2 weeks ago
- Audits and findings by MiloTruck☆178Jul 29, 2025Updated 7 months ago
- Smart Contract Property-Based Testing Framework☆146Feb 10, 2026Updated 3 weeks ago
- OSED Practice binary☆25Nov 23, 2023Updated 2 years ago
- Audits Reports by Naman☆19Feb 2, 2026Updated last month
- Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.☆50Apr 18, 2023Updated 2 years ago
- ☆57Dec 14, 2025Updated 2 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆283Updated this week
- A CLI tool to debug Solana programs☆21May 9, 2025Updated 9 months ago
- Smart Contract Security Testing Guide (SCSTG)☆17Aug 23, 2023Updated 2 years ago
- Checklist for security audit of tron projects by @positivesecurity☆26Sep 11, 2024Updated last year
- ☆53Apr 23, 2024Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- A fuzzing harness for Substrate-based blockchains.☆32Feb 12, 2026Updated 2 weeks ago
- ☆102Nov 6, 2024Updated last year
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Updated this week
- ☆70May 14, 2025Updated 9 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆74Dec 11, 2025Updated 2 months ago
- This repository represents my portfolio of smart contract security audits and audit contest findings☆51Jan 24, 2025Updated last year
- Observations and tips checklist for auditing protocols on multiple chains 🧐☆710Feb 4, 2026Updated 3 weeks ago
- A curated list of smart contracts security audits checklists and resources.☆313Feb 4, 2026Updated 3 weeks ago
- ☆35Jul 4, 2025Updated 7 months ago
- Using mutations to improve specs and test suites☆204May 12, 2025Updated 9 months ago
- Revised shell script for parsing .gnmap, .xml, or .nmap port scan results files to a CSV list, lists of IPs per port, web urls, and a sum…☆13Apr 17, 2020Updated 5 years ago
- ☆413Sep 30, 2025Updated 5 months ago
- A list of public fuzzing campaigns☆129Jan 24, 2026Updated last month
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆92Nov 13, 2025Updated 3 months ago
- ☆37Nov 28, 2023Updated 2 years ago
- Workshop about the different types of reentrancy attacks☆135Mar 25, 2025Updated 11 months ago