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-...

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

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] 🧵

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