SPLASH 2022 (series) / Konstantinos Triantafyllou
Registered user since Thu 18 May 2017
Name:Konstantinos Triantafyllou
Affiliation:ETH Zurich
Contributions
SPLASH 2022 | Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile