Blockchain Security

📢 Fuzzing and Formal Verification Spaces Alert!

Join us on Twitter/X Spaces on July 2, 2024 at 6 PM UTC for an in-depth 🌶️ chat on Formal Verification, Fuzzing and VS Code Extensions! 
 
Joining us:
- @gnidan from EF
- Raoul from @rv-inc 
- @stepansonsky from /ackee 
- @pepus from /ackee 
- @michprev from /ackee 

RSVP on luma for a calendar reminder

working on ethdebug.github.io/format

author/maintainer of github.com/gnidan/abi-to-sol

previously truffle for awhile 

Ethical hacker, crypto anarchist, developer, technology enthusiast, FPV drone builder and pilot, amateur music composer.

We apply formal methods to improve the safety, reliability and correctness of computing systems for blockchain, auto and space.

Ethereum open-source tooling, auditor at @ackee

📢 Fuzzing and Formal Verification Spaces Alert!

Join us on Twitter/X Spaces on July 2, 2024 at 6 PM UTC for an in-depth 🌶️ chat on Formal Verification, Fuzzing and VS Code Extensions! 
 
Joining us:
- @gnidan from EF
- Raoul from @rv-inc 
- @stepansonsky from /ackee 
- @pepus from /ackee 
- @michprev from /ackee 

RSVP on luma for a calendar reminder https://lu.ma/5t77oe1b