Technische
            Universität Braunschweig
  • Startseite
  • Team
  • Forschung
    • AG Saidi
    • AG Jukan
    • AG Gomez
  • Lehre
    • Veranstaltungen
    • Studentische Arbeiten
    • Seminarthemen
    • Internationale Studierende
  • Stellenangebote
  • News
    • DE
    • EN
Logo Institut für Datentechnik und Kommunikationsnetze der TU Braunschweig
  • Exploitation and Mitigation of Temporal Interference
    • Literatur/Dokumentation

Exploitation and Mitigation of Temporal Interference


Die gegenseitige zeitliche Beeinflussung verschiedener Anwendungen auf einem System ist nicht nur aus sicht der Betriebssicherheit (engl. safety) unerwünscht, sondern hat auch ihre Implikationen für die Datensicherheit (engl. security). Messbare datenabhängige Schwankungen des Zeitverhaltens einer Anwendung könne so beispielsweise dazu genutzt werden, sensible Daten (z.B. Chiffrierschlüssel) zu extrahieren. Solche sogenannten "timing channels" sind ein indirektes Maß für die zeitliche Beeinflussbarkeit eines Systems und können nur durch perfekte zeitliche Isolation verhindert werden.

Dieser Vortrag befasst sich mit der Quantifizierung von timing channels und möglichen Gegenmaßnahmen am Beispiel des seL4 Microkernels. Darüber hinaus sollen insbesondere die Effekte dieser Gegenmaßnahmen auf die zeitliche Vorhersagbarkeit herausgearbeitet werden.

Literatur/Dokumentation

  • [1] The Last Mile - An Empirical Study of Timing Channels on seL4

Kontakt

Institut für Datentechnik und Kommunikationsnetze
Hans-Sommer-Straße 66
38106 Braunschweig
Telefon: (0531) 391-3734
Fax: (0531) 391-4587
sekretariat[[a]]ida.ing.tu-bs.de

Sprechzeiten:

Mo: 
-
Di:   
10:30-12:00
Mi:   
10:30-12:00
Do: 
10:30-12:00
Fr:
-
© Technische Universität Braunschweig
Impressum Datenschutz