In diesem Workshop erhalten die Teilnehmer praktische Erfahrungen mit Echidna - einem Open-Source-Fuzzer für Smart Contracts - um sichere Smart Contracts zu erstellen. Sie lernen, was Code-Invarianten sind, wie man sie schreibt und wie man Echidna effizient nutzt, um sie zu überprüfen. Am Ende der Sitzung werden die Teilnehmer verstehen, wie Property-Testing funktioniert, wie man Sicherheitsanforderungen für Code formuliert und wie man den Fuzzer effizient einsetzt.