Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Practical Symbolic Execution for EVM - ETHTaipei 2023

ETHTaipei via YouTube

Overview

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.

Syllabus

Practical Symbolic Execution for EVM | Palina Tolmach, MakerDAO | ETHTaipei 2023

Taught by

ETHTaipei

Reviews

Start your review of Practical Symbolic Execution for EVM - ETHTaipei 2023

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.