Testing & Fuzzing
Finding bugs automatically through fuzzing, invariant testing, coverage, and simulation against live state.
160 talks
- A stroll down the security tools zoo by Uri Kirstein (@KirsteinUri)
- Auditoria e segurança | Bootcamp #EthereumRio | Robson Silva
- Smart-contract Testing Using Waffle Framework by Bartek Rutkowski | Devcon Bogotá
- Building Secure Contracts: Use Echidna Like a Pro | Devcon Bogotá
- Nosy Neighbor - Automated Fuzz Harness Generation for Golang Projects by David Theodore
- How to use Executable Consensus Pyspec by Hsiao-Wei Wang | Devcon Bogotá
- Quest for the Best Tests, a Retrospective on #TestingTheMerge by Parithosh Jayanthi
- Debugging the Ethereum Merge with Parallel Universes | Devcon Bogotá
- From High-Level DeFi Properties to Concrete Security Bugs
- Security Discussion 2
- How Do You Even Write Secure Code Anyways
- Formal Verification of Foundry Tests
- Scribble in a Nutshell
- Protocols Discussion, Session 1
- Searching Outside the Streetlight: Capture-Recapture Estimators for DeFi Security Issues
- Secure by Design
- Formal Verification with the Certora Prover
- Static Analysis for Zero-Knowledge Programming Languages
- The Butterfly Effect: How Simple Oversights Turn Into Smart Contract Nightmares
- State of the Art of Ethereum Smart Contract Fuzzing in 2022
- Building secure contracts: How to use fuzzing like a pro
- Testing smart contracts with Waffle in 2022
- Episode 224: Foundry with Georgios Konstantopoulous
- Move Fast and Break Nothing Michael George