Confidential Computing with seL4 on RISC-V Confidential Computing with seL4 on RISC-V Supervisor(s): Alexander Weidinger, Lukas Auer Status: inprogress Topic: Others Author: Philipp Alexander Grögel Submission: 2024-10-10 Type of Thesis: Bachelorthesis Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching Description