| Semester | |
| Module # | INF-IBR-07 |
| Programme | Master Informatik |
| IBR Group | DS (Prof. Kapitza) |
| Type | Vorlesung/Übung |
| Lecturer | |
| Assistant | |
| Credits | 5 |
| Hours | 2+2 |
| Time & Place | Due to Corona virus and the current circumstances, the lecture and
the lab tutorial in the winter semester 20/21 will be held online!
The time slots of the lecture, exercise and lab tutorial stay the same. The registration to this course is done on this website as usual. Lecture (weekly): Mondays, 13:15 - 14:45, Room 161, BBB
Exercise lecture (Tafelübung, irregular): Wednesdays, 15:00 - 16:30, Room 161, BBB
Rechnerübungen (weekly):
- Tuesdays, 13:15 - 14:45 (Mattermost, BBB)
- Fridays, 15:00 - 16:30 (Mattermost, BBB)
Exceptions:
- Exercise lecture is irregular, please see the calender below for the dates
Lecture and exercise detailsPlease login in order to see more details!Please share the given links only with people that are also attending or registered to this course!
The lecture and the exercise are based on the following tools: Lecture and exerciseThe lecture and exercise will take place at the aforementioned timeslots in the IBR's BBB instance. The BBB's link to the lecture/exercise:
Please login to get more information here.
Homework submissionThe homework control will also take place online in a separate BBB instance: Homework control BBB link:
Please login to get more information here.
Lab tutorialThe optional lab tutorial will take place in the above mentioned timeslots also in BBB. There will be a Mattermost channel where students as well as HiWis are gathered. You can freely use this channel to communicate with your colleagues and also ask your question related to this course and the homework.
In the tutorial timeslot, you can inform the HiWi to switch to BBB instance (same link as the Homework control BBB instance) in case you want to share the screen to explain a specific issue with the homework. Hinweis: Discord or any propietary communication programs are not allowed to be used for Homework control Prüfungstermine: TBD |
| Start | The lecture starts on TBD.
The exercise lecture starts on TBD.
The lab (Rechnerübungen) starts on TBD. |
| Attendees | Students of computer science |
| Prerequisites | none |
| Certificates | Passed oral or written exam as well as sucessfull participation during the exercises. |
| Registration | Bitte registriert euch für diese Veranstaltung mittels des hier bereitgestellten Formulars. Die Angaben werden unter anderem zur Durchführung der Übung benötigt. Bitte meldet euch in 2er oder 3er Gruppen an.
- Alleine ist die Bearbeitung der Übung nicht möglich,
- 4er Gruppen sind ebenso nicht möglich.
- Für 2er Gruppen einen Gruppenteilnehmer doppelt in das Formular eintragen. Ihr könnt mit der Anmeldung noch bis spätestens nach der ersten Tafelübung warten um euch dort vor Ort Partner zu suchen. Das Formular bleibt noch bis nach Ausgabe der ersten Übungsaufgabe online.
Please login to get more information here as a
mitarb
member.
|
| Content | Material zur VorlesungThe 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 ] | | Chapter | Slides | Exercises |
|---|
Material zur ÜbungThe 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 ] | | Chapter | Slides | Exercises |
|---|
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 Mohammad oder Rüdiger. |
| References | Auf Dokumente der ACM Digital Library (http://dl.acm.org/) kann nur aus dem Netz der TU Braunschweig zugegriffen werden. - Intel SGX Programming Reference
- Intel SGX SDK Developer Reference
- AMD SME Whitepaper
- Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, André Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Daniel O'Keeffe, Mark L Stillwell, David Goltzsche, Dave Eyers, Rüdiger Kapitza, Peter Pietzuch and Christof Fetzer: SCONE: Secure Linux Containers with Intel SGX, in 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Savannah, GA, USA, USENIX, January 2016 (arnautov2016scone, BibTeX, Slides)
- Nico Weichbrodt, Anil Kurmus, Peter Pietzuch and Rüdiger Kapitza: AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves, in Proceedings of the 21st European Symposium on Research in Computer Security (ESORICS 2016), 2016 (weichbr16esorics, BibTeX)
- David Goltzsche, Signe Rüsch, Manuel Nieke, Sébastien Vaucher, Nico Weichbrodt, Valerio Schiavoni, Pierre-Louis Aublin, Paolo Costa, Christof Fetzer, Pascal Felber, Peter Pietzuch and Rüdiger Kapitza: EndBox: Scalable Middlebox Functions Using Client-Side Trusted Execution, in Proceedings of the 48th International Conference on Dependable Systems and Networks, DSN'18, 2018 (goltzsche2018endbox, DOI, BibTeX, Slides)
|
