⁂ Bulletproof Threads

This is a collection of articles, posts, and other writings on software correctness and security. These are focused pieces, much like blog entries, but arranged by subject — creating thematic depths you can explore at your own pace. It’s an ongoing project, where knowledge is not just published, but updated and refined over time within its relevant context. Sign up below to stay updated.

❦ Fuzzing

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!

Fuzzlands: Map of the Wider Fuzzing Landscape 2025-05-27

A practitioner’s guide to fuzzing tools, techniques, and their evolution.

❦ Formal Methods & Verification

Why Formal Verification Isn’t Just Fancy Exhaustive Testing 2025-06-28

A deep dive into the differences between formal methods and exhaustive testing, and why they are not interchangeable.

❦ Blockchain

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!

Monitoring Soroban: Lessons from Observing Stellar Smart Contracts (out soon — ink is still drying)

A practical guide to monitoring Soroban smart contracts on the Stellar blockchain, with insights from real-world applications.