Talks and Poster Presentations (with Proceedings-Entry):

C. Schneidewind, I. Grishchenko, M. Scherer, M. Maffei:
"eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts";
accepted as talk for: ACM Conference on Computer and Communications Security (CCS), Orlando; 2020-11-09 - 2020-11-13; in: "CCS", ACM, (2020).

Created from the Publication Database of the Vienna University of Technology.