Runtime Verification of Application Configurations using Intel SGX Runtime Verification of Application Configurations using Intel SGX Supervisor(s): Dr. Mathias Morbitzer Status: inprogress Topic: Others Author: Fabian Konstantin Baus Submission: 2026-09-11 Type of Thesis: Bachelorthesis Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching Description