Static Analysis of Shape in TensorFlow Programs. - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (ECOOP, 2020)

Ethainter: a smart contract security analyzer for composite vulnerabilities. - Lexi Brent; Neville Grech; Sifis Lagouvardos; Bernhard Scholz; Yannis Smaragdakis (PLDI, 2020)

Static Analysis of Shape in TensorFlow Programs (Artifact). - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2020)

Precise static modeling of Ethereum "memory". - Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis (Proc. ACM Program. Lang., 2020)

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)

Elipmoc: advanced decompilation of Ethereum smart contracts. - Neville Grech; Sifis Lagouvardos; Ilias Tsatiris; Yannis Smaragdakis (Proc. ACM Program. Lang., 2022)

The Incredible Shrinking Context... in a Decompiler Near You. - Sifis Lagouvardos; Yannis Bollanos; Neville Grech; Yannis Smaragdakis (Proc. ACM Softw. Eng., 2025)

Precise Static Identification of Ethereum Storage Variables. - Sifis Lagouvardos; Yannis Bollanos; Michael Debono; Neville Grech; Yannis Smaragdakis (CoRR, 2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights. - Yannis Smaragdakis; Neville Grech; Sifis Lagouvardos; Konstantinos Triantafyllou; Ilias Tsatiris; Yannis Bollanos; Tony Rocco Valentine (CoRR, 2025)