TU BRAUNSCHWEIG
| Carl Friedrich Gauß Faculty | Department of Computer Science
Informatikzentrum

Operating System Security

Semester
Module #INF-IBR-07
ProgrammeMaster Informatik
IBR GroupDS (Prof. Kapitza)
TypeVorlesung/Übung
Lecturer
PhotoProf. Dr. Rüdiger Kapitza
Abteilungsleiter
rrkapitz[[at]]ibr.cs.tu-bs.de
+49 531 3913294
Room 135
Assistant
Hiwi
PhotoMohammad Mahhouk
Wissenschaftlicher Mitarbeiter
mahhouk[[at]]ibr.cs.tu-bs.de
+49 531 3913245
Room 133
Credits5
Hours2+2
Time & PlaceLecture (weekly): Mondays, 13:15 - 14:45, Room 161
Exercise lecture (Tafelübung, weekly): Wednesdays, 15:00 - 16:30, Room 161
Rechnerübungen (weekly):
- Tuesdays, 13:15 - 14:45 (room IZ-G40)
- Fridays, 15:00 - 16:30 (room IZ-G40)
Exceptions:
- Exercise lecture is irregular, please see the calender below for the dates
- There will be no lecture on 2018-12-10, 2018-12-24 and 2018-12-31
Start The lecture starts on Monday, 2018-10-22. The exercise lecture starts on Wednesday, 2018-10-24. The lab (Rechnerübungen) starts on Friday, 2018-10-26.
Attendees Studenten der Informatik,
Prerequisites
none
Certificates Passed oral exam as well as sucessfull participation during the exercises.
Registration
Die Anmeldefrist ist abgelaufen.
Please login to get more information here as a mitarb member.
Content

Material zur Vorlesung

The material is only available to registered attendees. In order to register, you need either an IBR account or a self-activated IBR-y-account. Afterwards you can login to this site (with the function at the top of this page).
[ Podcast | Podcast aller Formate | Newsfeed aller Formate ]
ChapterSlidesExercises
1. Introduction and Overview
pdfpdfpdf
2. Threats and Security Principles
pdfpdfpdf
3. Multics
pdfpdfpdf
4. LSM & 5. Integrity
pdfpdfpdf
pdfpdfpdf
6. SELinux
pdfpdfpdf
7. Security Kernels
pdfpdfpdf
8. VMM
pdfpdfpdf
9. SGX
pdfpdfpdf
10. AMDs Virtualization Memory Encryption Technology
pdfpdfpdf

Material zur Übung

The material is only available to registered attendees. In order to register, you need either an IBR account or a self-activated IBR-y-account. Afterwards you can login to this site (with the function at the top of this page).
[ Podcast | Podcast aller Formate | Newsfeed aller Formate ]
ChapterSlidesExercises
Paper Analysis 01
exercise
1. Organisation and Intro to Namespaces
pdfpdfpdf
pdfpdfpdf
exercise
Paper Analysis 02
exercise
Paper Analysis 03
exercise
2. Securing Containers
pdfpdfpdf
exercise
Paper Analysis 04
exercise
Paper Analysis 05
exercise
3. SGX
pdfpdfpdf
exercise
Paper Analysis 06
exercise

Lecture

  • Operating system security mechanisms: protection and access control
  • Virtualization and container mechanisms
  • Micro kernel architecture
  • Trusted computing
  • Secure co-processors (i.e. trusted platform module (TPM))
  • Modal execution (i.e. ARM TrustZone)
  • Trusted execution on commodity platforms (i.e. SGX and SEV)

Based on the Book Operating System Security by Trent Jaeger.

Übung

Bei Fragen zu den Übungen kontaktiert bitte Nico oder Rüdiger.

Schedule
[ Subscribe Calendar | Download Calendar ]
DateDescription
22.10.2018, 13:15Lecture (IZ Raum 161)
24.10.2018, 15:00Exercise lecture (IZ Raum 161)
29.10.2018, 13:15Lecture (IZ Raum 161)
05.11.2018, 13:15Lecture (IZ Raum 161)
12.11.2018, 13:15Lecture (IZ Raum 161)
19.11.2018, 13:15Lecture (IZ Raum 161)
20.11.2018, 13:15Presentations first exercise (IZ Raum G40)
21.11.2018, 15:00Exercise lecture (IZ Raum 161)
23.11.2018, 15:00Presentations first exercise (IZ Raum G40)
03.12.2018, 13:15Lecture (IZ Raum 161)
17.12.2018, 13:15Lecture (IZ Raum 161)
18.12.2018, 13:15Presentations second exercise (IZ Raum G40)
21.12.2018, 15:00Presentations second exercise (IZ Raum G40)
07.01.2019, 13:15Lecture (IZ Raum 161)
09.01.2019, 15:00Exercise lecture (IZ Raum 161)
14.01.2019, 13:15Lecture (IZ Raum 161)
21.01.2019, 13:15Lecture (IZ Raum 161)
29.01.2019, 13:15Presentations third exercise (IZ Raum G40)
28.01.2019, 13:15Lecture (IZ Raum 161)
01.02.2019, 15:00Presentations third exercise (IZ Raum G40)
ReferencesAuf Dokumente der ACM Digital Library (http://dl.acm.org/) kann nur aus dem Netz der TU Braunschweig zugegriffen werden.

last changed 2019-01-21, 13:19 (dynamic content) by Nico Weichbrodt
printemailtop