BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:8235-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday #12 - Formally Verifying a Hypervisor
DESCRIPTION:In unserer nächsten Sitzung am 18. August wird Dominic Mulligan
  seinen Vortrag „Nitro Isolation Engine: formally verifying a production hy
 pervisor?“ halten. Cloud-Computing stützt sich auf Hypervisoren, um die Iso
 lation zwischen gemeinsam genutzten virtuellen Maschinen zu gewährleisten. 
 Hypervisoren sind daher eine kritische Sicherheitsinfrastruktur, und die Ge
 währleistung ihrer Korrektheit ist von größter Bedeutung. Herkömmliche Entw
 icklungsmethoden – Code-Review, Tests, Fuzzing – bieten zwar eine hohe Sich
 erheit, können jedoch nicht ausreichend nachweisen, dass die Isolation über
  alle möglichen Ausführungspfade hinweg gewährleistet ist. Die formale Veri
 fikation erweitert und ergänzt diese Ansätze, indem sie mathematische Garan
 tien für das Systemverhalten liefert. In diesem Vortrag werden die Erfahrun
 gen von AWS bei der Anwendung interaktiver Theorembeweise zur Verifikation 
 einer Hypervisor-Komponente im Produktivbetrieb vorgestellt: der Nitro Isol
 ation Engine.\n\nDominic Mulligan ist Leitender Anwendungswissenschaftler i
 n der „Automated Reasoning Group“ bei Amazon Web Services (AWS).\n\nDie Ver
 anstaltung findet am 06. Oktober um 14:00 Uhr (UTC +2) statt. Die Veranstal
 tung wird über Zoom abgehalten. Die Aufzeichnung wird nach der Veranstaltun
 g auf der ÖvIT-Website hochgeladen.\n\nZoom-Link: https://meetgi.zoom.us/j/
 63725933668?pwd=BTav7NSIxem2CaZCgGMQ4SY6xFTSXz.1
LOCATION:Online (Zoom)
DTSTAMP:20260923T084930Z
DTSTART:20261006T120000Z
DTEND:20261006T124500Z
END:VEVENT
END:VCALENDAR