Trustworthy Tuesday - Hardware Security Guarantees mit UPEC
Lucas Deutschmann präsentiert die Methode UPEC aus der formalen Verifikation, mit der systematisch Schwachstellen der Mirkoarchitektur gefunden werden können.
Veranstaltungsort
Online (Zoom)-, Deutschland
Beschreibung
In unserer nächsten Veranstaltung wird Lucas Deutschmann seinen Vortrag „Beyond Bug Hunting: Exhaustive Hardware Security Guarantees with UPEC“ halten. UPEC ist eine formale Verifikationsmethodik, die darauf ausgelegt ist, mikroarchitektonische Schwachstellen systematisch aufzudecken und umfassende Sicherheitsgarantien für den gesamten Systemstack zu bieten.
Mikroarchitektonische Seitenkanalangriffe haben wiederholt die Systemsicherheit gefährdet und damit die Rolle der Hardware als unveränderliche Vertrauensbasis untergraben.
Obwohl softwarebasierte Gegenmaßnahmen weit verbreitet sind, hängt ihre Wirksamkeit stark von Annahmen über das Verhalten der zugrunde liegenden Hardware ab.
Um diese Lücke zu schließen, wird in diesem Vortrag das „Unique Program Execution Checking“ (UPEC) vorgestellt.
Die Veranstaltung findet am 21. Juli ab 14:00 Uhr (UTC +2) statt. Die Veranstaltung wird über Zoom abgehalten. Die Aufzeichnung wird nach der Veranstaltung auf der EvIT-Website hochgeladen.
Finde den Zugang hier:
https://meetgi.zoom.us/j/63596674634?pwd=Ca9T0fqnGb8hL0eRKPxWqzD0dUs2r5.1
Meeting-ID: 635 9667 4634
Kenncode: 016060