Auditing
Reviewing contracts for vulnerabilities: methodology, secure patterns, anti-patterns, and how the audit market works.
317 talks
- Who Pays for Security Audits, Bounties, and Incentives | Benjamin Sepanski - Veridise
- Audited. Formally Verified. Totally Compromised | Diogo Pereira - Hedera
- RISC Zero Security Deep Dive: Architecture, Risks, and Review Methodology
- Solana: The Bugs You're Missing | DeFi Security Summit 2025
- Future of Smart Contract Security: Neither Smart Nor Secure?
- Unconstrained Machines
- Scale Your DeFi Research with Static Analysis
- Understanding Math-Heavy Code
- Statically Safe: Proving Security with Semantic Queries
- Auditing ERC-4337 Paymasters: Little Code, Big Risk
- Beyond “Just Read the Code”: Auditing Strategies & Tactics
- Security at Scale: Solving Audit Procurement for Builders
- AI-Powered Auditing: Hype, Reality, and the Future of Web3 Security
- DeFi Security Summit at Devconnect Argentina 2025: Nogal Stage, Day 1
- Off-Chain But Not Off Radar - DeFi Security Summit 2025
- Fireside Chat with Grigore Rosu
- DeFi Security 101 2025 - Smart Contract Auditing 101
- Autonomous Guardians: The Future of Smart Contract Auditing - DeFi Security Summit 2025
- Beyond the Audit: Building an Always-On Security Culture for Web3
- Beyond the PDF: Building the Data Layer for On-Chain Trust
- SCDS - Smart Contract Diagram Standard
- DeFi Security 101 2025 - How Can I audit ZK circuits?
- Harnessing LLMs to generate secure code
- Verifiable Bug Bounties in the Age of AI slop