Ilias Tsatiris

According to our database, Ilias Tsatiris authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• 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