selected publications

• 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
  • Trusted Computing Serving an Anonymity Service.  Springer eBooks. 143-154. 2008

• conference paper

  • Building blocks for an exa-scale operating system.  . 2014
  • Who watches the watchmen? - protecting operating system reliability mechanisms.  Hot Topics in System Dependability. 1-1. 2012
  • The Nizza Secure-System Architecture.  . 2006
  • Migrating multi-threaded, shared objects.  . 2002