Concord: Automatically Checking EVM Bytecode Equivalence - DeFi Security Summit 2025

Описание: Speaker: John Toman
This workshop explores practical techniques for proving semantic equivalence between smart contracts and compiler outputs. Attendees will learn how program-level reasoning can detect behavioral divergences, validate compiler optimizations, and assess LLM-generated code for functional safety.

About DSS
Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond.

https://defisecuritysummit.org/