We are the Dependable Operating Systems (D^eOS) Group at the Max Planck Institute for Security and Privacy.

We research ways to make computer systems more dependable, i.e., safer, more secure, and more efficient, leveraging techniques at the intersection of systems and computer security. For example, we design new ways to isolate software components to make systems more resilient against attacks and bugs, and to specialize the implementation of systems software to make them more secure and scalable. We strive to solve problems in a systematic and practical way. Check out our work on Unikraft and CHERIoT, which are used in the real-world!

News

2026/10	We are hiring PhD students and interns!
2026/09	Our paper on "Characterizing and Detecting Bugs at the Interfaces of OpenBSD Privilege-Separated Programs" will appear at CCS 2026! Kudos Shibo and Shawn!

Group Members

Affiliates: