Precise static modeling of ethereum “memory” S Lagouvardos, N Grech, I Tsatiris, Y Smaragdakis Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020 | 20 | 2020 |
Elipmoc: advanced decompilation of ethereum smart contracts N Grech, S Lagouvardos, I Tsatiris, Y Smaragdakis Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-27, 2022 | 15 | 2022 |
Symbolic value-flow static analysis: deep, precise, complete modeling of ethereum smart contracts Y Smaragdakis, N Grech, S Lagouvardos, K Triantafyllou, I Tsatiris Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | 13 | 2021 |
Doppethganger: In the search for smartcontract snippet lookalikes IM Tsatiris | | 2022 |
Machine learning aided tuning of static analysis for EVM bytecode decompilation MA Gioka, I Lagouvardos, I Tsatiris | | 2020 |
Declarative type inference and SSA transformation of Android applications IM Tsatiris, G Fourtounis | | 2019 |