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]
|
Beginn: |
Inhalt
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
Ziel
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.