Devcon VI

Building Secure Contracts: Use Echidna Like a Pro
10-14, 13:00–15:00 (America/Bogota), Workshop 2

In this workshop, attendees will gain hands-on experience with Echidna - an open-source smart contract fuzzer - to build secure smart contracts. Echidna has been used in many professional audits, and fuzzing is a key component to increasing the contracts’ security. Attendees will learn how to define and write invariants and how to use Echidna efficiently. By the end of the session, they will know how to integrate property testing into their development process and write more secure code.

Josselin Feist is a principal security engineer at Trail of Bits where he leads the blockchain team, participates in security assessments, and designs automated bug-finding tools for smart contracts. He holds a Ph.D. in static analysis and symbolic execution and regularly speaks at both academic and industrial conferences. He is the author of various security tools, including Slither - a static analyzer for Ethereum smart contracts and Tealer - a static analyzer for Algorand contracts.