Sifis Lagouvardos

According to our database, Sifis Lagouvardos authored at least 6 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Elipmoc: advanced decompilation of Ethereum smart contracts.

Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis

Proc. ACM Program. Lang., 2022

2021

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

Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris

Proc. ACM Program. Lang., 2021

2020

Precise static modeling of Ethereum "memory".

Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis

Proc. ACM Program. Lang., 2020

Static Analysis of Shape in TensorFlow Programs (Artifact).

Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis

Dagstuhl Artifacts Ser., 2020

Ethainter: a smart contract security analyzer for composite vulnerabilities.

Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Static Analysis of Shape in TensorFlow Programs.

Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020