Scholar
Sifis Lagouvardos
Google Scholar ID: 3VIjrXUAAAAJ
PhD student, University of Athens
Citations & Impact
Citations
413
H-index
5
i10-index
5
Publications
14
Co-authors
4
list available
Contact
Publications
Resume (English only)
Academic Achievements
- - Publications:
- - Precise Static Identification of Ethereum Storage Variables (arxiv)
- - The Incredible Shrinking Context… in a Decompiler Near You (ISSTA 2025, DOI, arxiv, PDF, Artifact, PDF-Extended)
- - Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights (SBC 2023, PDF)
- - Elipmoc: Advanced Decompilation of Ethereum Smart Contracts (OOPSLA 2022, DOI, PDF, Video)
- - Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts (OOPSLA 2021, DOI, PDF, Artifact, Video)
- - Precise static modeling of Ethereum “memory” (OOPSLA 2020, DOI, PDF, Artifact, Video)
- - Static Analysis of Shape in TensorFlow Programs (ECOOP 2020, DOI, PDF, Artifact, Video)
- - Ethainter: a smart contract security analyzer for composite vulnerabilities (PLDI 2020, DOI, PDF, Artifact, Video)
Research Experience
- - Ph.D. student at PLAST lab
- - Involved in multiple research projects such as the Gigahorse framework and the Pythia tool
- - Research focus includes decompilation and vulnerability detection of Ethereum smart contracts
Education
- - Degree: Ph.D.
- - University: University of Athens
- - Supervisor: Yannis Smaragdakis
- - Time: Not specified
- - Field: Computer Science/Software Engineering
Background
- - Research Interests: program analysis, static analysis, symbolic execution for detecting bugs, vulnerabilities, and optimization opportunities
- - Security: information-flow, decompilation, reverse engineering
- - About Me: Ph.D. student at the PLAST lab, 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. Recent projects include Pythia, a static analysis tool for the detection of shape-related bugs in Python programs using the TensorFlow framework.
Miscellany
- - Blog Posts: I See Dead Code (February 10, 2023)
