TU BRAUNSCHWEIG
| Carl-Friedrich-Gauß-Faculty | Computer Science
Informatikzentrum

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

Module #INF-VS-041
ProgrammesBachelor Informatik, Master Informatik, Bachelor Informations-Systemtechnik, Master Informations-Systemtechnik, Bachelor Wirtschaftsinformatik, Master Wirtschaftsinformatik
IBR Group(s)DS (Prof. Kapitza)
TypeSeminar
Lecturer
PhotoProf. Dr. Rüdiger Kapitza
Abteilungsleiter
kapitza[[at]]ibr.cs.tu-bs.de
+49 531 3913294
Room 135
Assistants
PhotoNico Weichbrodt
Wissenschaftlicher Mitarbeiter
weichbrodt[[at]]ibr.cs.tu-bs.de
+49 531 3913265
Room 116
PhotoBijun Li
Wissenschaftliche Mitarbeiterin
bli[[at]]ibr.cs.tu-bs.de
+49 531 3913295
Room 117
PhotoStefan Brenner
Wissenschaftlicher Mitarbeiter
brenner[[at]]ibr.cs.tu-bs.de
+49 531 3913285
Room 112
PhotoWenbo Xu
Wissenschaftlicher Mitarbeiter
wxu[[at]]ibr.cs.tu-bs.de
+49 531 3913266
Room 131
PhotoDavid Goltzsche
Wissenschaftlicher Mitarbeiter
goltzsche[[at]]ibr.cs.tu-bs.de
+49 531 3913249
Room 134
Credits5
Hours0+2
Time & Place

*Kick-Off Meeting* Wednesday 19 Oct. 2016, 15:00-16:00, (IZ Room 105)

Weekly meeting time: Wednesday, 15:00 (IZ Room 105)

Certificates Submission of the essay and successful presentation. The grade is determined by the activity in the seminar as well as the quality of essay and presentation.
Content

Introduction

Recent events like the NSA leaks prove the need for action in the field of IT security. This is a challenge, especially in the context of cloud computing: Users willingly release the control over their data, although the cloud providers are not completely trustworthy in general. This problem can be solved using novel hardware extensions like Intel SGX, which enable so-called Trusted Execution.

In this seminar, the different approaches of trusted execution will be covered (T1-4). On this basis, different applications of trusted execution will be examined (T5-9), while the remaining topics describe systems with trusted components which could be implemented with trusted execution(T10-13). In addition, the seminar discusses different attacks on SGX-protected applications (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.

Seminar Topics

TopicAssistant
1) Intel Software Guard Extensions: BasicsDavid Goltzsche
2) Fides: Selectively Hardening Software Application Components against Kernel-level or Process-level MalwareStefan Brenner
3) OASIS On Achieving a Sanctuary for Integrity and Secrecy on Untrusted PlatformsStefan 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 SGXStefan Brenner
9) Ariadne: A Minimal Approach to State ContinuityStefan 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

Seminar

The talk and essay can be in either English or German. Each participant will take one or more papers under a specific topic. Participants are responsible for a peer review, including:

  • Attend peer's presentation dry run and give feedback.
  • Review peer's essay before submission.
  • Collect questions to peer's presentation during discussion session.

Notes

Please submit the essay as well as your presentation slides. The requirements for presentation and essay are listed as follows:

  • Presentation and essay in English or German.
  • Presentation time about 25 minutes.
  • Essay should comprise about 6 pages.

Each participant is supposed to do further research based on the paper. The supervisors are always glad to help in this case.

The strength of the university depends on academic and personal integrity. In this seminar, essays must be done in your own words. Plagiarism is an offense against the examination regulations.

Templates

The LaTeX template for seminar essay can be found here.

Additional considerations for the design of the essay can be found on the website of IBR.

LaTeX templates for presentation slides can be found here.

Additional considerations for the design can be found on the website of IBR.

Schedule
[ Subscribe Calendar | Download Calendar ]
DateDescription
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)
References

Slides:

On World-Wide-Web, there are different ways to enhance your seminar presentations:

For the literature review there links might be helpful:

(La)TeX Tips + Tricks


last changed 2017-03-27, 15:16 by Stefan Brenner
printemailtop