Sifis Lagouvardos

Publications

250

Citations

H-Index

2020

Active since

Affiliations

National and Kapodistrian University of Athens(Current)

University of Malta

Sifis Lagouvardos is an author at National and Kapodistrian University of Athens specializing in software analysis, computer science, and engineering.

ORCID

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal MethodsProgram AnalysisBlockchainData SecurityFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

2020–2022

Publications

Ethainter: a smart contract security analyzer for composite vulnerabilities

Lexi Brent, Neville Grech, Sifis Lagouvardos et al. · 2020 · 149 citations

Engineering, Information Security, Smart Contracts +18

Static Analysis of Shape in TensorFlow Programs

Sifis Lagouvardos, Julian Dolby, Neville Grech et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 32 citations · Full text

Engineering, Machine Learning, Geometry +23

Elipmoc: advanced decompilation of Ethereum smart contracts

Neville Grech, Sifis Lagouvardos, Ilias Tsatiris et al. · Proceedings of the ACM on Programming Languages · 2022 · 32 citations · Full text

Context Sensitivity, Cryptographic Primitive, Engineering +20

Precise static modeling of Ethereum “memory”

Sifis Lagouvardos, Neville Grech, Ilias Tsatiris et al. · Proceedings of the ACM on Programming Languages · 2020 · 21 citations · Full text

Engineering, Software Systems, Computer Architecture +19

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts

Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos et al. · Proceedings of the ACM on Programming Languages · 2021 · 16 citations · Full text

Engineering, Conventional Static Analysis, Verification +22

Rows per page

1–5 of 5