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)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). - Anastasios Antoniadis; Ilias Tsatiris; 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)