フォロー
Sifis Lagouvardos
Sifis Lagouvardos
その他の名前Iosif Lagouvardos
確認したメール アドレス: di.uoa.gr - ホームページ
タイトル
引用先
引用先
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
1302020
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
472020
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
202020
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
132022
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
112021
A Language Server for Soufflé Datalog
IN Daridis, S Lagouvardos
2022
Machine learning aided tuning of static analysis for EVM bytecode decompilation
MA Gioka, I Lagouvardos, I Tsatiris
2020
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
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, ...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–10