フォロー
Konstantinos Triantafyllou
Konstantinos Triantafyllou
PhD Student, University of Athens
確認したメール アドレス: di.uoa.gr
タイトル
引用先
引用先
年
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses
T Antoniadis, K Triantafyllou, Y Smaragdakis
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017
472017
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
132021
Präzi: From Package-based to Call-based Dependency Networks
J Hejderup, M Beller, K Triantafyllou, G Gousios
arXiv preprint arXiv:2101.09563, 2021
122021
Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
Y SMARAGDAKIS, N GRECH, S LAGOUVARDOS, K TRIANTAFYLLOU, ...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–4