Ethainter: a smart contract security analyzer for composite vulnerabilities L Brent, N Grech, S Lagouvardos, B Scholz, Y Smaragdakis Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 131 | 2020 |
Static analysis of shape in TensorFlow programs S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 47 | 2020 |
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 | 14 | 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 | 11 | 2021 |
A Language Server for Soufflé Datalog IN Daridis, S Lagouvardos | | 2022 |
Static Analysis of Shape in TensorFlow Programs (Artifact). S Lagouvardos, J Dolby, N Grech, A Antoniadis, Y Smaragdakis Dagstuhl Artifacts Ser. 6 (2), 06:1-06:3, 2020 | | 2020 |
Machine learning aided tuning of static analysis for EVM bytecode decompilation MA Gioka, I Lagouvardos, I Tsatiris | | 2020 |
Static Analysis of Hybrid Android Applications I Lagouvardos, A Antoniadis | | 2018 |
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights Y SMARAGDAKIS, N GRECH, S LAGOUVARDOS, K TRIANTAFYLLOU, ... | | |