All talks

2024

Towards a Sound Construction of EVM Bytecode Control-flow Graphs

26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024) · Conference presentation · 20 September 2024 · Vienna, Austria

static-analysis abstract-interpretation blockchain ethereum smart-contract

Slides available · Attendance available