25-Minute Solidity Fuzzer: Fuzzing Smarter, Not Harder

Thu, Jun 19, 2025, 12:35 PM · 1:14:11

Fuzzing and Formal Methods** are often seen as competing approaches to smart contract security. In this **hands-on workshop**, we combine insights from both, allowing participants to build a **minimal EVM/Solidity smart contract fuzzer in Python within 25 minutes**.