Sifis Lagouvardos

Publication Activity (10 Years)

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

Top Topics

Static Analysis

Buffer Overflow

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

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)
Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis
Ethainter: a smart contract security analyzer for composite vulnerabilities. PLDI (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs. ECOOP (2020)
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis
Precise static modeling of Ethereum "memory". Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
Static Analysis of Shape in TensorFlow Programs (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)