Maxim Ritter von Onciul, M. Sc.
Department Informatik (INF)
Lehrstuhl für Informatik 4 (Systemsoftware)
- E-Mail: onciul@cs.fau.de
Forschung und Abschlussarbeiten
Ich forsche an automatischer Kompartimentierung von Rust Software. Kompartimentierung ist die Kombination aus Partitionierung von Software in ein Partitionierungsschema P und die Durchsetzung der dabei entstehenden Grenzen mittels eines Isolationsmechanismus. Rust bietet durch starke Typisierung und ergonomische Code-Synthese mittels proc-macros viele Vorteile gegenüber C/C++, den traditionellen Systemprogrammierungssprachen, die die Automatisierung von Kompartimentierung ermöglichen. Für Abschlussarbeiten können verschiedene Themen in der Partitionierung oder der Härtung durchgeführt werden. Die konkreten Themen verändern sich zu schnell um sie hier auf der Website zu verwalten und können persönlich oder per Mail angefragt werden.Lehre
Sommersemester
Wintersemester
Veröffentlichungen
2026
- , , , :
zBulk: Towards Automatic Compartmentalization in Rust with Zero Manual Retrofitting
14th Workshop on Programming Languages and Operating Systems (PLOS 2026) (Prague, Czechia, 29. September 2026 - 29. September 2026)
In: Association for Computing Machinery (Hrsg.): Proceedings of the 14th Workshop on Programming Languages and Operating Systems, New York, NY, USA: 2026
DOI: 10.1145/3831586.3838149
2025
- , , :
Site Attestation: Browser-based Remote Attestation
EuroSec'25: 18th European Workshop on Systems Security (Rotterdam, 31. März 2025 - 31. März 2025)
In: 18th European Workshop on Systems Security (EuroSec ’25), New York, NY, USA: 2025
DOI: 10.1145/3722041.3723095
2019
- , , , , , , :
Boosting Job-Level Migration by Static Analysis
15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (Stuttgart)
In: Adam Lackorzynski Daniel Lohmann (Hrsg.): Proceedings of the 15th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19) 2019