Learn about practical symbolic execution techniques for the Ethereum Virtual Machine (EVM) in this 29-minute conference talk from ETHTaipei 2023. Explore how symbolic execution can be applied to analyze smart contracts and enhance security in blockchain development, presented by Palina Tolmach from MakerDAO. Gain insights into the implementation challenges and practical applications of symbolic execution within the EVM environment, understanding how this powerful technique can be used to identify vulnerabilities and verify smart contract behavior.