Raoul Schaffranek
As a formal verification engineer at Runtime Verification, I've dedicated extensive time to fortifying smart contract protocols through a spectrum of measures, including design reviews, manual code reviews, and formal verification processes.
Presently, I'm leading the development of Simbolik, a tool born out of my experiences and needs as a security researcher. This initiative reflects my commitment to advancing the field and addressing critical challenges faced by professionals in this domain.
Session
Introducing Simbolik - the Solidity Debugger with built-in Symbolic Execution. A tool specifically designed to significantly lower the entry barrier to formal methods with a gradual learning curve: Users can just start with classical debugging and advance into Symbolic Execution.