Building secure contracts: How to use fuzzing like a pro

In this workshop, attendees will gain hands-on experience in Echidna - an open source smart contract fuzzer - to build secure smart contracts. They’ll learn what are code invariants, how to write them, and how to use efficiently Echidna to check them. By the end of the session, attendees will understand how property testing work, how to write code security properties, and how to use the fuzzer efficiently.