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