Trustworthy Tuesday - Betriebssystem LionsOS
Diesen Mai spricht Gernot Heiser über das Betriebssystem LionsOS.
Veranstaltungsort
Online (Zoom)-, Deutschland
Beschreibung
Im Rahmen des „Ecosystem Formally Verifiable IT“ (EvIT) präsentiert die GI die Webinar-Reihe „Trustworthy Tuesday“.
In unserer nächsten Sitzung am 19. Mai hält Gernot Heiser einen Vortrag zum Thema „LionsOS: Sicherheit und Leistung“. Das Betriebssystem basiert auf dem seL4-Mikrokernel. Es wurde von der Forschungsgruppe „Trustworthy Systems“ an der UNSW Sydney entwickelt. Heiser wird als Leiter der Forschungsgruppe beim nächsten Trustworthy Tuesday einen Vortrag halten.
Wir möchten das komplexe Thema der formalen Verifikation und vertrauenswürdigen IT in kleine Häppchen aufteilen. Unser kurzer Vortrag und eine Diskussionsrunde bieten einen Einblick in Forschungsansätze und Best Practices.
Die Veranstaltung findet am 19 Mai ab 12 Uhr (UTC +2) auf Zoom statt. Die Aufzeichnung werden wir nach der Veranstaltung auf die EvIT-Website hochladen.
Anmeldung
- Kosten
- Kostenlos
- Hinweis
- Zu dieser Veranstaltung können Sie sich online anmelden.
- Anmeldefrist
- 18.05.2026