Dr. Thomas Pani

Freelance Web3 Security Researcher
Formal Methods, Fuzzing, and Expert Blockchain Security Consulting

Ecosystem experience:

Cosmos

Advanced Fuzzing
Integration

I design and integrate cutting-edge fuzzing solutions—including Echidna, Medusa, Foundry, ityfuzz, Harvey, and cargo fuzz—tailored to your project’s needs for robust security testing.

Formal Verification
& Proofs

Ensure correctness and security in your consensus protocols and smart contracts with rigorous formal verification using TLA+, Alloy, or Certora Prover.

Applied Research
& Innovation

Combining custom research with strong implementation and clear communication. Services include paper review, technical writing, and public speaking to support your project’s success.

Strategic Security
Consulting

Expert guidance on security strategy, auditor selection, and post-deployment security, including smart contract monitoring to help you build and maintain a resilient system.

Let’s talk web3 security!

Curious about formal methods, fuzzing, or just want to bounce ideas about securing your protocol?
I love hearing what others are working on—grab a coffee, and let’s have a chat!

👉 Book a free security chat anytime.