Ilias Tsatiris

According to our database, Ilias Tsatiris authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

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, July, 2025

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning).

Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis

CoRR, March, 2025

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