Thomas Pani
@thpani.bsky.social
Protocol Security Researcher :: https://blltprf.xyz | prev: @informalinc, @tuwien.at
fuzzing, formal verification, bespoke security engineering
fuzzing, formal verification, bespoke security engineering
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-...
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-...
July 10, 2025 at 1:40 PM
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-...
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-...
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
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
May 23, 2025 at 9:59 AM
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
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
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] 🧵
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] 🧵
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...
arxiv.org
January 17, 2025 at 10:23 AM
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] 🧵
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] 🧵