Publications

This is a selected list of publications, a complete list can be found on DBLP or Google Scholar. Publications prior to 2027 pre-date Hugo’s move to MPI-SP. Group members in italics.

2026

• Characterizing and Detecting Bugs at the Interfaces of OpenBSD Privilege-Separated Programs
  S. Ai, S. C. Zhang, H. Lefeuvre, M. Seltzer
  CCS’26 [PDF]

• Wayfinder: Automated Operating System Specialization
  A. Jung, C. Crăciunoiu, N. Karaolidis, H. Lefeuvre, D. Oñoro Rubio, F. Huici, C. Rotsos, P. Olivier
  EuroSys’26 [Link, PDF]

2025

• SoK: Software Compartmentalization
  H. Lefeuvre, N. Dautenhahn, D. Chisnall, P. Olivier
  S&P’25 [Link, PDF]

• CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
  S. Amar, T. Chen, D. Chisnall, N. W. Filardo, B. Laurie, H. Lefeuvre, K. Liu, S. W. Moore, R. Norton-Wright, M. Seltzer, Y. Tao, R. N. M. Watson, H. Xia
  SOSP’25 [Link, PDF]

• μFork: Supporting POSIX fork Within a Single-Address-Space OS
  A. Kressel, H. Lefeuvre, P. Olivier
  SOSP’25 [Link, PDF]

2024

• Loupe: Driving the Development of OS Compatibility Layers
  H. Lefeuvre, G. Gain, V-A. Bădoiu, D. Dinca, V-R. Schiller, C. Raiciu, F. Huici, P. Olivier
  ASPLOS’24 [Link, PDF]

2023

• Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software
  H. Lefeuvre, V-A. Bădoiu, Y. Chien, F. Huici, N. Dautenhahn, P. Olivier
  NDSS’23 [Link, PDF]

• Towards (Really) Safe and Fast Confidential I/O
  H. Lefeuvre, D. Chisnall, M. Kogias, P. Olivier
  HotOS’23 [Link, PDF]

2022

• FlexOS: Towards Flexible OS Isolation
  H. Lefeuvre, V-A. Bădoiu, A. Jung, S. Teodorescu, S. Rauch, F. Huici, C. Raiciu, P. Olivier
  ASPLOS’22 [Link, PDF] Distinguished Artifact Award!

2021

• Unikraft: Fast, Specialized Unikernels the Easy Way
  S. Kuenzer, V-A. Bădoiu, H. Lefeuvre, S. Santhanam, A. Jung, G. Gain, C. Soldani, C. Lupu, S. Teodorescu, C. Răducanu, C. Banu, L. Mathy, R. Deaconescu, C. Raiciu, F. Huici
  EuroSys’21 [Link, PDF] Best Paper Award!

• FlexOS: Making OS Isolation Flexible
  H. Lefeuvre, V-A. Bădoiu, S. Teodorescu, P. Olivier, T. Mosnoi, R. Deaconescu, F. Huici, C. Raiciu
  HotOS’21 [Link, PDF]