Follow
Konstantinos Triantafyllou
Konstantinos Triantafyllou
PhD Student, University of Athens
Verified email at di.uoa.gr
Title
Cited by
Cited by
Year
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, ...
The system can't perform the operation now. Try again later.
Articles 1–4