All talks
2024
-
Towards a Sound Construction of EVM Bytecode Control-flow Graphs
static-analysis abstract-interpretation blockchain ethereum smart-contract
26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)
Conference presentation - 20 September 2024 - Vienna, Austria - Slides available - Attendance available