Raoul Schaffranek

On November 14th, 2023, I had the incredible opportunity to present at the TrustX conference in Istanbul! My topic, “The Symbolic Solidity Debugger,” focuses on making symbolic execution more accessible to everyone. I’m so grateful for the chance to share this innovative tool and connect with so many passionate individuals.... [Read More]

I recently had the honor of leading a 1-hour workshop at the inaugural EVMSummit in Istanbul, focusing on the EVM low-level debugging capabilities of the Symbolic Solidity debugger. It was a deep dive into the intricacies of EVM and how our tool can effectively tackle complex debugging challenges. 5/ @RaoulSaffron,... [Read More]

Thrilled to share insights from my recent presentation at DevCon Bogota! Titled “Tackling Rounding Errors with Precision Analysis”, the talk highlighted a crucial aspect of smart contract security: the impact of rounding in the wrong direction. [Read More]