Ilias Tsatiris

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Static Analysis

Symbolic Execution

Top Venues

Proc. ACM Program. Lang.

Publications

Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis
Elipmoc: advanced decompilation of Ethereum smart contracts. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis
Precise static modeling of Ethereum "memory". Proc. ACM Program. Lang. 4 (OOPSLA) (2020)