selected publications

• academic article

  • Stay strong, stay safe: Enhancing Reliability of a Secure Operating System.  .  2010

• chapter

  • FFMK: An HPC OS Based on the L4Re Microkernel.  High-performance computing series. 2019
  • FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing.  Lecture notes in computational science and engineering. 2016

• conference paper

  • Taming subsystems.  . 2009
  • The Nizza Secure-System Architecture.  . 2006