Herbsttreffen in Erlangen

Sicherheit, Isolation und Vertrauen in modernen Betriebssystemen

Angesichts zunehmend komplexer Hardware- und Softwareplattformen, neuer Angriffsflächen in Cloud-, Edge- und IoT-Umgebungen sowie wachsender Anforderungen an vertrauenswürdige Datenverarbeitung gewinnt die Sicherheit von Betriebssystemen weiter an Bedeutung. Aktuelle Entwicklungen wie Confidential Computing, hardwaregestützte Isolationsmechanismen und die Prävention von Seitenkanalangriffen verdeutlichen die zentrale Rolle von Betriebssystemen beim Schutz moderner IT-Infrastrukturen. Zugleich werfen neue Architekturen, Programmiersprachen und Verifikationsansätze die Frage auf, wie Betriebssysteme künftig sicherer entworfen, implementiert und betrieben werden können. Das Herbsttreffen der Fachgruppe Betriebssysteme bietet daher ein Forum, um aktuelle Herausforderungen, Lösungsansätze und Forschungsperspektiven zur Betriebssystemsicherheit zu diskutieren. Dazu zählen insbesondere: 
 

• Sichere Betriebssystemarchitekturen: Microkernel, modulare Architekturen sowie Ansätze für eine minimale Trusted Computing Base.
• Härtung von Betriebssystemkernen: Schutz vor Kernel-Exploits, Privilege Escalation und unsicheren Systemaufrufen.
• Speichersicherheit im Betriebssystem: Einsatz und Migration zu sicheren Programmiersprachen, formale Verifikation von Systemschnittstellen, Treibern und Betriebssystemkomponenten. 
• Isolationsansätze: Prozessisolation, Sandboxing, Container, virtuelle Maschinen und Schutz zwischen Mandanten.
• Zugriffskontrolle und Privilegientrennung: Least Privilege, Zero Trust, Capabilities, Mandatory Access Control und sichere Rechteverwaltung.
• Schutz vor Seitenkanalangriffen: Prävention vor Angriffe über Caches und weitere geteilte Hardware-Ressourcen.
• Sichere Systeminitialisierung und Systemintegrität: Secure/Measured Boot, TPM-basierte Attestation und dynamische Integritätsprüfung.
• Confidential Computing bzw. vertrauenswürdige Ausführungsumgebungen: Systemunterstützung für TEEs, Confidential Virtual Machines sowie Sealing und Attestation.

Vortragsvorschläge außerhalb des Veranstaltungsschwerpunkts sind ebenfalls herzlich willkommen.

Einreichungen können wahlweise in Form eines maximal einseitigen Abstracts (nur für Vorträge) oder als 2- bis 6-seitiges, bislang unpubliziertes Papier im ACM-Konferenzstil in deutscher oder englischer Sprache erfolgen. Über die Annahme der Einreichungen entscheidet ein Programmkomitee, das sich aus Mitgliedern des Leitungsgremiums zusammensetzt. Im Falle der Annahme werden die Papiere (2–6 Seiten) in der digitalen Bibliothek der Gesellschaft für Informatik publiziert.

Wir heißen Vorträge in englischer Sprache ausdrücklich willkommen. Um nicht-deutschsprachigen Mitgliedern die Teilnahme an der Veranstaltung zu erleichtern, wird die Vortragssprache im Programm kenntlich gemacht.

Rüdiger Kapitza und Peter Wägemann (FAU Erlangen-Nürnberg)

Direkt im Anschluss an das Fachgruppentreffen Betriebssysteme findet die Exkursion der Fachgruppe Informatik- und Computergeschichte statt.