Testing & Fuzzing

Finding bugs automatically through fuzzing, invariant testing, coverage, and simulation against live state.

160 talks

• hs-libp2p: A Haskell Implementation of the libp2p Stack
• Grandine Lean Client Development
• Red-Team Your Own AI Pipeline: A Hands-On Prompt-Injection & Supply-Chain Lab
• Ream: BlackBox Interop Testing Post Quantam Lean Ethereum
• Meetup #23 - Monad Bugfinder: Construindo agentes de segurança com IA - Antonio Viggiano
• Crypto Built the Rails: Next Up Operating Them Safely
• Using LLM Generated Formal Specs to Prevent the Next DeFi Hack
• ZK14 - Origin Tags: Dynamic Detection of Fiat-Shamir bugs in complex systems - Innokentii Sennovskii
• Live State Fuzzing: Testing Live Deployments Proactively
• AI Fuzzing: From Stochastic Chaos to Directed Precision.
• Build On Arc With The Circle Platform
• Panel Discussion: Formal Verification & Fuzzing moderated by Alexander Hicks, Ethereum Foundation
• Code is Law: Avoiding Spec-ulation for Faster Forks - Revamping the EIP Review Process
• From Spec to Sync: Ensuring Upgrade Readiness
• DeFi Security 101 2025 - Find Bugs with Stateful Fuzzing, Alex the Entreprenerd, Recon
• Smart Contracts Fuzzing: Current Problems and Proposed Solutions
• ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs
• DeFi Security Summit at Devconnect Argentina 2025: Nogal Stage, Day 1
• DeFi Security 101 2025 - From Fuzzing to Formal Verification | Kevin Lotz, Certora
• The Art of Manually Guided Fuzzing - DeFi Security Summit 2025
• Mutation Testing with Slither - A New Way to Find High Severity Issues
• State of Fuzzing: Closing the Circle From Machine to Human and Back
• Going Beyond 100% Coverage
• Fireside Chat with Bogdan Habic and Kartik Talwar