Concepedia

Ilias Tsatiris

IT

3

Publications

69

Citations

3

H-Index

2020

Active since

Affiliations

National and Kapodistrian University of Athens(Current)

University of Malta

Ilias Tsatiris is an author at National and Kapodistrian University of Athens specializing in engineering, formal methods, and software engineering.

ORCID

Top concepts

Publications per year

2020–2022

3

Publications

3

Elipmoc: advanced decompilation of Ethereum smart contracts

Neville Grech, Sifis Lagouvardos, Ilias Tsatiris et al. · Proceedings of the ACM on Programming Languages · 2022 · 32 citations · Full text

, , +20

Precise static modeling of Ethereum “memory”

Sifis Lagouvardos, Neville Grech, Ilias Tsatiris et al. · Proceedings of the ACM on Programming Languages · 2020 · 21 citations · Full text

, , +19

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts

Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos et al. · Proceedings of the ACM on Programming Languages · 2021 · 16 citations · Full text

, , +22

Rows per page

1–3 of 3