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)