[Back]


Diploma and Master Theses (authored and supervised):

A. Schwarz:
"Static Amalysis of eWASM Contracts";
Supervisor: C. Schneidewind, M. Maffei; Institut of Logic and Computation, Security and Privacy, 2020; final examination: 2020-01-15.


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