Welcome to Part 1 of the Echidna streaming series. This part has two exercises:
- Exercise 1: Highlights Echidna's capabilities in finding arithmetic underflow / overflow .
- Exercise 2: Highlights Echidna's capabilities in finding flaws in access control.
The slides for this part can be found here
The video presentation for this part can be found on YouTube.