Fuzzing & Formal Verification for Protocols and Distributed Systems
Stop guessing. Ship with confidence.
I’m Dr. Thomas Pani. I help protocol teams ship with confidence using system-level code review, fuzzing, and formal methods — including smart contracts, distributed systems, and custom infrastructure.
Fuzzing & Formal Verification for Protocols and Distributed Systems
Stop guessing. Ship with confidence.
I’m Dr. Thomas Pani. I help protocol teams ship with confidence using formal methods, fuzzing, and post-deployment security — including smart contracts, distributed systems, and custom infrastructure.
Talks & Writing
I occasionally give talks and workshops on fuzzing, formal methods, and protocol safety.
From time to time, I also write about what I learn along the way.
Talk: 25-Minute Solidity Fuzzer — Fuzzing Smarter, Not Harder
2025-07-02
Recording of my hands-on workshop from Protocol Berg 2025 in Berlin.
Build a functional EVM/Solidity smart contract fuzzer in Python in just 25
minutes!
Why Formal Verification Isn't Just Fancy Exhaustive Testing
2025-06-28A deep dive into the differences between formal methods and exhaustive testing, and why they are not interchangeable.
Fuzzlands: Map of the Wider Fuzzing Landscape
2025-05-27An playful practitioner's guide to fuzzing tools, techniques, and their evolution.
Want to get in touch?
Reach out — I'm always happy to have an interesting coffee chat:
