BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:8079-409@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - Hardware Security Guarantees mit UPEC
DESCRIPTION: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 ausge
 legt ist, mikroarchitektonische Schwachstellen systematisch aufzudecken und
  umfassende Sicherheitsgarantien für den gesamten Systemstack zu bieten.\n\
 nMikroarchitektonische Seitenkanalangriffe haben wiederholt die Systemsiche
 rheit gefährdet und damit die Rolle der Hardware als unveränderliche Vertra
 uensbasis untergraben.\n\nObwohl softwarebasierte Gegenmaßnahmen weit verbr
 eitet sind, hängt ihre Wirksamkeit stark von Annahmen über das Verhalten de
 r zugrunde liegenden Hardware ab.\n\nUm diese Lücke zu schließen, wird in d
 iesem Vortrag das „Unique Program Execution Checking“ (UPEC) vorgestellt.\n
 \nDie Veranstaltung findet am 21. Juli ab 14:00 Uhr (UTC +2) statt. Die Ver
 anstaltung wird über Zoom abgehalten. Die Aufzeichnung wird nach der Verans
 taltung auf der EvIT-Website hochgeladen.\n\nFinde den Zugang hier: \n\nhtt
 ps://meetgi.zoom.us/j/63596674634?pwd=Ca9T0fqnGb8hL0eRKPxWqzD0dUs2r5.1\n\n 
 \n\nMeeting-ID: 635 9667 4634 Kenncode: 016060\n\n\n\n
LOCATION:Online (Zoom)
DTSTAMP:20260713T072931Z
DTSTART:20260721T120000Z
DTEND:20260721T124500Z
END:VEVENT
END:VCALENDAR