Aktiv im Dialog: BI auf zahlreichen Konferenzen im letzten Jahresviertel 2025
Unsere Forschenden präsentieren ihre Arbeit auf Konferenzen, um sie einem internationalen Fachpublikum zugänglich zu machen, Feedback zu erhalten und neue Impulse aus dem wissenschaftlichen Austausch zu gewinnen. Im letzten Quartal des Jahres 2025 waren sie erneut auf zahlreichen Konferenzen aktiv.
Zwei Beispiele für internationale Aktivitäten des BI im vierten Jahresviertel 2025 sind die PLOS-Konferenz sowie die ACSAC-Konferenz.
13. Workshop on Programming Language and Operating Systems (PLOS)
Beim 13. Workshop on Programming Language and Operating Systems (PLOS) in Seoul, Südkorea, am 13. Oktober 2025 präsentierte BI-Forscher Dr. Carmine Abate aus unserer Forschungsgruppe Verified System Design Automation das Paper „Debug, Execute, Verify! Development-Verification Co-design Made Practical“.
Das Paper beschreibt ein Framework für die Programmiersprache Rust, das symbolische Programmausführung nutzt, um die Lücke zwischen Entwicklung und Verifikation zu schließen.
Dr. Nicholas Gordon aus der Forschungsgruppe Composable Operating Systems präsentierte das Paper „Applying Modern Verification Techniques to a Root-of-Trust Bootloader“.
Das Paper ist ein Erfahrungsbericht über den Einsatz formaler Verifikation, also mathematischer Beweise, mit der die Softwarekorrektheit in einem praxisnahen Szenario sichergestellt werden kann. Es untersucht, wie bestehende Rust-Programme mit dem Werkzeug Verus verifiziert werden können. Im Fokus steht eine kritische Startkomponente des M³-Betriebssystems. Durch zusätzliche Verifikationsanweisungen zum Code lassen sich erste Eigenschaften dieser Komponente beweisen.
Der Workshop fand parallel zum 31. ACM Symposium on Operating Systems Principles (SOSP) statt. Mitglieder des Barkhausen Instituts nahmen an dieser Konferenz teil und gingen in den wissenschaftlichen Austausch mit der Systems-Community.
Annual Computer Security Applications Conference (ACSAC)
Auf der Annual Computer Security Applications Conference (ACSAC) in Honolulu, Hawaii, USA, vom 8. bis 12. Dezember 2025, präsentierte unsere Wissenschaftlerin Jana Eisoldt das Paper „A cloudy view on trust relationships of CVMs: How Confidential Virtual Machines are falling short in Public Cloud“.
Confidential Computing (dt.: „vertrauliche Datenverarbeitung“) soll Daten in der Cloud schützen. Dafür werden sie in speziellen sicheren Umgebungen ausgeführt, auf die selbst der Cloud-Anbieter keinen Zugriff hat. Ein zentrales Merkmal ist die Remote Attestation. So können Nutzerinnen und Nutzer vor der Ausführung ihrer Daten überprüfen, ob sich das System in einem sicheren und unveränderten Zustand befindet.
Das Paper untersucht, ob große Cloud-Anbieter diese Prinzipien tatsächlich einhalten. Im Fokus stehen deren Confidential Virtual Machines, also besonders geschützte Cloud-Umgebungen, die Daten selbst während der Verarbeitung vor unbefugtem Zugriff abschirmen. Welchen Sicherheitsnachweis liefern sie den Nutzerinnen und Nutzern? Wie viel Einfluss behalten die Anbieter? Die Autorinnen und Autoren stellen fest, dass Cloud-Anbieter die Kontrolle über wichtige Teile des Systems behalten und teilweise sogar in den Attestierungsprozess eingreifen. Dies widerspricht dem Kernprinzip des Confidential Computing, nach dem der Cloud-Anbieter kein Teil des vertrauenswürdigen Systems sein darf.
Weitere Konferenzen, an denen das Barkhausen Institut teilgenommen hat (Auswahl):
- 13. workshop on Programming Language and Operating Systems am 13.10.2025, in Seoul, Südkorea
- IEEE Vehicular Technology Conference vom 19.-22.10.2025 in Chengdu, China
- 23. IEEE International Conference on Dependable, Autonomic and Secure Computing vom 21.-24.10.2025 in Hokkaido, Japan
- 59. Annual Asilomar Conference on Signals, Systems, and Computers vom 26.-29.10.2025 auf den Asilomar Grounds in Pacific Grove, CA, USA
- 27. International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems vom 27.-31.10.2025 in Barcelona, Spanien
- 25. International Conference on Control, Automation, and Systems vom 04.-07.11.2025 in Incheon, Korea
- 32. IEEE International Conference on Electronics Circuits and Systems vom 17.-19.11.2025 in Marrakesch, Marokko
- Annual Computer Security Applications Conference vom 08.-12.12.2025 in Honolulu, Hawaii, USA
- 18. IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip vom 15.-18.12.2025 am Newcastle Australia Institute of Higher Education in Singapur