Konstantinos Triantafyllou -

Registered user since Thu 18 May 2017

Name:Konstantinos Triantafyllou

Affiliation:ETH Zurich

Contributions

2022

SPLASH

Author of Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts within the COVID Time Papers In Person-track

2017

SOAP

Author of Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses within the SOAP-track