Maxim Ritter von Onciul, M. Sc.
Department Informatik (INF)
Lehrstuhl für Informatik 4 (Systemsoftware)
- Email: onciul@cs.fau.de
Research and Theses
I am interested in automatic compartmentalization of Rust software. Compartmentalization is the combination of partitioning of software and enforcment of thereby introduced boundaries via an isolation mechanism. We leverage strong typing and ergonomic code synthesis via proc-macros over C/C++, the traditional systems programming languages, to push the boundaries of automatic compartmentalization. I offer various topics in both partitioning and boundary enforcement. Concrete topics come up and are cancelled too frequently to keep an up to date list on this site. Theses can be requested in person or per mail.Teaching
Summer Term
Winter Term
Publications
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 (ed.): 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. March 2025 - 31. March 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 (ed.): Proceedings of the 15th Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19) 2019