Ilias Tsatiris -

Registered user since Wed 19 Aug 2020

Name:Ilias Tsatiris

Country:Greece

Affiliation:University of Athens

Contributions

SPLASH 2021	Author of Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts within the OOPSLA-track
SPLASH 2022	Author of Elipmoc: advanced decompilation of Ethereum smart contracts within the OOPSLA-track
SPLASH 2020	Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA Artifacts-track Author of Precise Static Modeling of Ethereum “Memory” within the OOPSLA-track