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.