Testing & Fuzzing

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

160 talks

• Ethereum Client Security
• Alternative to RISC-V Based zkVM: AI Based Transpiler W/ Fuzz Diff Testing | Clement Walter -Kakarot
• Squash All the Bugs with Omniscience & Formal Verification
• Improving Smart Contract Security With Assertions | Jacob Czepluch - Phylax Systems
• Fuzzing Zero-Knowledge Infrastructure
• Enhancing Ethereum P2P Network Security through Fuzzing
• Protec and Attac: Programmatic Execution Layer Consensus Tests by danceratopz | Devcon SEA
• Debug First, or Regret Later: an Arsenal of Tools can Build Solid Ethereum Foundations
• hevm or: How I Learned to Stop Worrying and Love the Symbolic Execution
• Hunt the Bug, Save the Chain: Uncovering Bugs in EIP Implementations | Devcon SEA
• Shadow Network Simulations
• A Playbook of Secure Smart Contract Development by Palina Tolmach | Devcon SEA
• Paradigm Shift: Building Invariant-focused codebases
• Enhancing Test Coverage: A Framework for Effective Protocol Security
• 500 days of Security Summer
• A cat-and-mouse game: how to frontrun a transaction in the future
• Finding Bugs: 42 Tips from 4 Security Researchers
• Secure development of smart contract systems
• Meetup #12 - Tenderly Virtual Testnets - Henrique Barcelos
• Wake Framework: All-in-One Toolkit for Solidity Development
• The Paranoid Developer’s Guide to Safer Smart Contracts
• Beyond Coverage: Mutation Testing
• Introduction to fuzzing - Josselin Feist | Trail of Bits
• Wake: why we built an open source Swiss knife for Solidity developers by Josef Gattermayer