iiinova — where your digital self keeps evolving

Thomas Pani

@thpani.bsky.social

Protocol Security Researcher :: blltprf.xyz | prev: @informalinc, @tuwien.at fuzzing, formal verification, bespoke security engineering

Posts Replies Media

Thomas Pani @thpani.bsky.social · 10/07/2025

Recording now online! 🎥 At @protocol.berlin, I gave a hands-on workshop: "25-Minute Solidity Fuzzer: Fuzzing Smarter, Not Harder" 🎤 Build an EVM fuzzer in Python in 25’: + Better inputs + Smarter metrics (beyond # of runs) + Formal Methods mindset 🧠 Recording + blog: blltprf.xyz/blog/25-min-...

020

Thomas Pani @thpani.bsky.social · 23/05/2025

Getting ready for my #Solidity #fuzzing workshop at @protocol.berlin 🔥 Join me to build a practical EVM smart contract fuzzer in Python and see how a Formal Methods viewpoint can guide your approach to smart contract security testing. #EVM #SmartContracts #Security

121

Thomas Pani @thpani.bsky.social · 17/01/2025

1/ Distributed algorithms like blockchain consensus protocols are notoriously difficult 🤯 Too many combinations, too easy to miss bugs—fault-tolerance makes it worse. Tools like TLA+ & Apalache, Alloy, and CVC5 can help! Read our report: [arxiv.org/abs/2501.07958] 🧵

arxiv.org

Technical Report: Exploring Automatic Model-Checking of the...

We investigate automated model-checking of the Ethereum specification, focusing on the Accountable Safety property of the 3SF consensus protocol. We select 3SF due to its relevance and the unique...

100