TU BRAUNSCHWEIG
| Carl-Friedrich-Gauß-Fakultät | Department Informatik
Informatikzentrum

Seminar Informatik WS 2016/2017 Verteilte Systeme: Secure Trusted Execution for Resilient Distributed Systems

Semester
Wintersemester 2016/2017
Wintersemester 2019/2020Sommersemester 2019Wintersemester 2018/2019Sommersemester 2018Wintersemester 2017/2018Sommersemester 2017Wintersemester 2015/2016Sommersemester 2015Wintersemester 2014/2015Sommersemester 2014Sommersemester 2013Sommersemester 2012
ModulnummerINF-VS-041
StudiengängeBachelor Informatik, Master Informatik, Bachelor Informations-Systemtechnik, Master Informations-Systemtechnik, Bachelor Wirtschaftsinformatik, Master Wirtschaftsinformatik
IBR GruppeDS (Prof. Kapitza)
ArtSeminar
Dozent
PhotoProf. Dr. Rüdiger Kapitza
Abteilungsleiter
rrkapitz[[at]]ibr.cs.tu-bs.de
+49 531 3913294
Raum 135
Assistenten
PhotoNico Weichbrodt
Externer Doktorand
weichbrodt[[at]]ibr.cs.tu-bs.de
+49 531 3913265
Raum 116
PhotoBijun Li
Ehemalige Wissenschaftliche Mitarbeiterin
bli[[at]]ibr.cs.tu-bs.de
PhotoDr. Stefan Brenner
Ehemaliger Wissenschaftlicher Mitarbeiter
brenner[[at]]ibr.cs.tu-bs.de
PhotoWenbo Xu
Ehemaliger Wissenschaftlicher Mitarbeiter
wxu[[at]]ibr.cs.tu-bs.de
PhotoDavid Goltzsche
Wissenschaftlicher Mitarbeiter
goltzsche[[at]]ibr.cs.tu-bs.de
+49 531 3913249
Raum 134
LP5
SWS0+2
Ort & Zeit

*Kick-Off Meeting* Mittwoch 19 Okt. 2016, 15:00-16:00, (IZ Raum 105)

Wöchentliches Treffen: Mittwoch, 15:00 (IZ Raum 105)

Scheinerwerb Abgabe der Ausarbeitung und erfolgreiche Präsentation. Die Note ist sowohl von der Beteiligung im Seminar als auch der Qualität der Ausarbeitung und Präsentation abhängig
Inhalt

Einleitung

Aktuelle Ereignisse wie der NSA Skandal zeigen, dass in der IT-Sicherheit weiterhin großer Handlungsbedarf besteht. Vor allem im Bereich von Cloud Computing ist dies eine besondere Herausforderung, da der Benutzer die Kontrolle über seine Daten aus der Hand gibt und Cloud Providern normalerweise nicht uneingeschränkt vertraut wird. Diesem Problem kann mit neuartigen Hardware Erweiterungen wie Intel SGX begegnet werden, welche die sogennante Vertrauenswürdige Ausfühung (engl. Trusted Execution) ermöglichen.

In diesem Seminar werden zunächst die Grundlagen von Trusted Execution in Form von verschiedenen Ansätzen behandelt (T1-4). Darauf aufbauend werden verschiedene Anwendungen von Trusted Execution betrachtet (T5-9), während die verbleibenden Themen Systeme mit vertrauenwürdigen Komponenten beschreiben, welche sich mit Trusted Execution umsetzen lassen (T10-13). Außerdem beschäftigt sich das Seminar mit verschiedenen Angriffen auf durch Intel SGX geschützte Anwendungen(T14-15).

Ergebnisse

Matrikelnummer:
Code:
Punkte der einzelnen Aufgaben:
Punkte gesamt:
Note:
Haftungsausschluss: Alle Ergebnisse wurden mit größter Sorgfalt zusammengetragen. Fehler lassen sich jedoch nicht Ausschließen. Die Ergebnisse sind nur gültig im Zusammenhang mit einer rechtzeitigen Anmeldung beim Prüfungsamt. Rechtliche Ansprüche lassen sich hieraus nicht ableiten.

Seminarthemen

ThemaBetreuer
1) Intel Software Guard Extensions: BasicsDavid Goltzsche
2) Fides: Selectively Hardening Software Application Components against Kernel-level or Process-level MalwareDr. Stefan Brenner
3) OASIS On Achieving a Sanctuary for Integrity and Secrecy on Untrusted PlatformsDr. Stefan Brenner
4) SecureBlue++: CPU Support for Secure ExecutablesNico Weichbrodt
5) Shielding Applications from an Untrusted Cloud with HavenNico Weichbrodt
6) SCONE: Secure Linux Containers with Intel SGXDavid Goltzsche
7) VC3: Trustworthy Data Analytics in the Cloud using SGXDavid Goltzsche
8) SecureKeeper: Confidential ZooKeeper using Intel SGXDr. Stefan Brenner
9) Ariadne: A Minimal Approach to State ContinuityDr. Stefan Brenner
10) Efficient Byzantine fault Tolerance (MinBFT)Wenbo Xu
11) CheapBFT: Resource-efficient Byzantine Fault ToleranceBijun Li
12) Prophecy: Using History for High-Throughput Fault ToleranceBijun Li
13) Attested Append-Only Memory: Making Adversaries Stick to their WordWenbo Xu
14) AsyncShock: Exploiting Synchronization Bugs in Intel SGX EnclavesNico Weichbrodt
15) Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating SystemsNico Weichbrodt

Das Seminar

Die Präsentation und die Ausarbeitung können entweder auf Deutsch oder Englisch vorbereitet werden. Jeder Teilnehmer übernimmt die Veröffentlichung(en) eines Themas. Alle Teilnehmer erstellen ein Peer Review, dazu gehört:

  • Besuch des Probevortrags des Peers inklusive Feedback
  • Review der Ausarbeitung der Peers vor der Abgabe.
  • Organisation der Fragerunde nach dem Vortrag des Peers.

Bemerkungen

Die abzugebenden Dokumente umfassen die Ausarbeitung und einen Foliensatz:

  • Präsentation und Ausarbeitung auf Englisch oder Deutsch.
  • Präsentationszeit ca. 25 Minuten.
  • Länge der Ausarbeitung ca. 6 Seiten.

Jeder Teilnehmer sollte auf seinem Paper aufbauende Veröffentlichungen studieren. Die Seminarbetreuer können bei der Themenfindung helfen.

An der Universität werden akademische und persönliche Integrität groß geschrieben. Dementsprechend muss die Ausarbeitung in eigenen Worten erfolgen. Plagiate verstoßen gegen die Prüfungsordnung.

Templates

Das LaTeX Template für die Ausarbeitung findet sich hier.

Zusätzliche Anregungen zur Ausarbeitung finden sich hier.

LaTeX Templates für den Foliensatz befinden sich hier.

Termine
[ Kalender abonnieren | Kalender herunterladen ]
DatumBeschreibung
19.10.2016, 15:00 UhrKick-Off Meeting (IZ Raum 105)
26.10.2016, 15:00 UhrHow to give a presentation (IZ Raum 105)
02.11.2016, 15:00 UhrNichts (yay!) (IZ Raum 105)
09.11.2016, 15:00 UhrAusfall, nur Dry-Runs (Fides) (IZ Raum 119)
16.11.2016, 15:00 UhrFides (IZ Raum 105)
23.11.2016, 15:00 UhrOASIS, SGX Basics (IZ Raum 105)
30.11.2016, 15:00 UhrAttested Append-Only Memory, Haven (IZ Raum 105)
07.12.2016, 15:00 UhrSecureKeeper, SCONE (IZ Raum 105)
14.12.2016, 15:00 UhrMinBFT, SecureBlue++ (IZ Raum 105)
21.12.2016, 15:00 UhrAusfall, Uni geschlossen (IZ Raum 105)
28.12.2016, 15:00 UhrAusfall, Uni geschlossen (IZ Raum 105)
04.01.2017, 15:00 UhrAusfall, Weihnachtsferien (IZ Raum 105)
11.01.2017, 15:00 UhrAusfall, nur Betreuermeetings in der Woche (Prophecy, VC3)
18.01.2017, 15:00 UhrAusfall, nur Dry-Runs (Prophecy, VC3) (IZ Raum 105)
25.01.2017, 15:00 UhrProphecy, VC3 (IZ Raum 105)
01.02.2017, 15:00 UhrControlled-Channel Attacks, AsyncShock (IZ Raum 105)
08.02.2017, 15:00 UhrTBD (IZ Raum 105)
Literatur/Links

Slides:

Hilfestellung zum Seminar:

Für die Literaturrecherche können folgende Links hilfreich sein:

(La)TeX Tips + Tricks

aktualisiert am 14.07.2020, 15:34 von Dr. Stefan Brenner
printemailtop