TUM Logo

Security Concepts of Selected OS-Kernels

Security Concepts of Selected OS-Kernels  

Seminare 2 SWS / 5 ECTS
Veranstalter: Fabian Franzen
Zeit und Ort:
Preliminary Meeting: Friday, 10 July 2020 at 13.30 h - Online Conference [Slides]


The seminar will be organized like a scientific conference. Students will deep-dive into the security concepts of their kernel of choice and create a report, similar to a scientific paper, that is peer-reviewed by their fellow students and presented in the plenum.

Possible kernels will include:

  • LittleKernel / Zircon BSD
  • Redox
  • ReactOS / Windows
  • seL4/Fiasco

Students can propose other kernels that they would like to work on. Please write a short motivation about its specific (security) features and why you would like to investigate on it. Send it to oliver.braunsdorf@aisec.fraunhofer.de

Inhaltliche Voraussetzungen

IN0009 Grundlagen: Betriebssysteme und Systemsoftware, IN0004 Einführung in die Rechnerarchitektur
preferable: IN2209 IT Sicherheit


Get an overview and understanding of architectures and concepts of different operating system kernels Understand possibilities and limitations of kernel security mechanisms
Prepare and write a scientific paper in LaTeX.
Present a scientific topic (German/English) 20 minutes + 10 minutes discussion.

The report and slides need to be in English.