Description: The Minimal Light is a simple and elegant jekyll theme for academic personal homepage.
I am a Ph.D. student at the PLAST lab at the University of Athens under the supervision of Yannis Smaragdakis . My research is mainly focused on designing and implementing static analysis techniques for the decompilation and vulnerability detection of smart contracts running on the Ethereum platform. The vast majority of this work is built on top of the Gigahorse framework. Recent projects include Pythia , a static analysis tool for the detection of shape related bugs in Python programs using the TensorFlow
Elipmoc: Advanced Decompilation of Ethereum Smart Contracts Neville Grech, Sifis Lagouvardos , Ilias Tsatiris, Yannis Smaragdakis Proceedings of the ACM on Programming Languages. OOPSLA 2022 . [ DOI ] [ PDF ] [ Video ]
Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos , Konstantinos Triantafyllou, Ilias Tsatiris Proceedings of the ACM on Programming Languages. OOPSLA 2021 . [ DOI ] [ PDF ] [ Artifact ] [ Video ]