We build a secure operating system based on a microkernel architecture to reduce complexity and maximize component isolation. Our system is composed of small building blocks that cooperate securely in a distributed use case. We co-design our operating system with the MPSoC and Wireless Connectivity groups to solve platform and network security problems. The Composable Operating Systems group will provide the essential building blocks from which customized systems for IoT use cases can be built.
Nils Asmussen, Michael Roitzsch, Carsten Weinhold; Pluggable Components All The Way Down. 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS), April 2019, Montreal, Canada (PDF)
Nils Asmussen, Michael Roitzsch, Hermann Härtig; M3X: Autonomous Accelerators via Context-Enabled Fast-Path Communication. USENIX Annual Technical Conference (ATC), July 2019, Renton, WA, USA (PDF)
Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig; SemperOS: A Distributed Capability System. USENIX Annual Technical Conference (ATC), July 2019, Renton, WA, USA (PDF)