Using symbolic execution to increase smart contract security

Wed, Oct 2, 2024, 12:00 AM

Blockchain code is lightweight, public and handles high amounts of tokens, making it a perfect target. In this video Raoul Schaffranek & Andrei Vacaru talk about what formal verification and symbolic execution are, how we can leverage them to increase the odds of discovering security risks and the tools we make for auditors and developers.