How to Fuzz Like a Pro

title	How to Fuzz Like a Pro
date	2022
authors	Nat Chin Josselin Feist
conference	DeFi Security Summit EthCC ETH Taipei
resources	label path Slides (DeFi Security Summit) Defi Security Summit – Fuzz Like a Pro.pdf label path Slides (EthCC) EthCC – Fuzz Like a Pro.pdf label path Slides (ETH Taipei) Eth Taipei Workshop.pdf label url Recording (EthCC) https://www.youtube.com/watch?v=1eBa9gouZzc label url Echidna https://github.com/crytic/echidna label url Building Secure Contracts https://github.com/crytic/building-secure-contracts

This talk presents Echidna, an open-source smart contract fuzzer, and how to use it to build secure smart contracts. The presentation covers what code invariants are, how to write them, and how to efficiently use Echidna to check them. The goal is to help developers and auditors understand how property testing works, how to write code security properties, and how to use the fuzzer effectively for finding vulnerabilities in smart contracts.