I am a Visiting Researcher at SCI Semiconductors with David Chisnall. Previously, I was a PhD candidate with Pierre Olivier in the Advanced Processor Technologies group at the University of Manchester. I was a Microsoft 2022 PhD Research Fellow. I interned at MSR Cambridge (Confidential Computing) and NEC Labs Europe in 2022 and 2020.
My research interests span OSes, compartmentalization, and more generally systems, security, virtualization, networking, and free-software.
Selected Publications
Full list on DBLP or Google Scholar.
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 [ACM] [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 [NDSS] [PDF] -
Towards (Really) Safe and Fast Confidential I/O.
H. Lefeuvre, D. Chisnall, M. Kogias, P. Olivier.
HotOS'23 [ACM] [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 [ACM] [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 [ACM] [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 [ACM] [PDF] -
Wayfinder: Towards Automatically Deriving Optimal OS Configurations.
A. Jung, H. Lefeuvre, C. Rotsos, P. Olivier, D. Oñoro-Rubio, F. Huici, M. Niepert.
APSys'21 [ACM] [PDF]
2020
- Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: WiP.
S. Santhanam, S. Kuenzer, H. Lefeuvre, F. Huici, A. Jung, S. Pagani, G-C. Muraru, S. Stabellini, J. He, J. Beri.
EMSOFT'20 [IEEE] [PDF]
Community Service
- TPC Member: CCS'24 (Software Security Track)
- Journal reviewer: IEEE T-ASE
- Subreviewer: ICS'23, SAC'21, COMPAS'21
- Shadow TPC Member: EuroSys'22
- Artifact Evaluation Committee Member: USENIX Security'23, OSDI'22, ATC'22, ASPLOS'22, EuroSys'22, SOSP'21
Teaching and Awards
Full list of classes I taught and awards I received.
Some links
Stuff I work/worked on:
- Loupe: [GitHub]
- ConfFuzz/CIVs: [Website] [GitHub]
- FlexOS: [Website] [GitHub] [ASPLOS'22 Artifact]
- Unikraft, the unikernel SDK: [Website] [GitHub] [EuroSys'21 Artifact]
Research I find exciting
Not mine, but really cool!