| Unikraft: fast, specialized unikernels the easy way S Kuenzer, VA Bădoiu, H Lefeuvre, S Santhanam, A Jung, G Gain, ... Proceedings of the Sixteenth European Conference on Computer Systems, 376-394, 2021 | 129 | 2021 |
| FlexOS: towards flexible OS isolation H Lefeuvre, VA Bădoiu, A Jung, SL Teodorescu, S Rauch, F Huici, ... Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 38 | 2022 |
| FlexOS: making OS isolation flexible H Lefeuvre, VA Bădoiu, Ş Teodorescu, P Olivier, T Mosnoi, ... Proceedings of the Workshop on Hot Topics in Operating Systems, 79-87, 2021 | 26 | 2021 |
| Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software H Lefeuvre, VA Bădoiu, Y Chien, F Huici, N Dautenhahn, P Olivier Proceedings of the 30th ISOC Annual Network & Distributed System Security …, 2022 | 25 | 2022 |
| A syscall-level binary-compatible unikernel P Olivier, H Lefeuvre, D Chiba, S Lankes, C Min, B Ravindran IEEE Transactions on Computers 71 (9), 2116-2127, 2021 | 10 | 2021 |
| Unikraft and the coming of age of unikernels H Lefeuvre, G Gain, D Dinca, A Jung, S Kuenzer, VA Badoiu, ... login; The Usenix Magazine, 2021 | 9* | 2021 |
| CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces Y Chien, VA Bădoiu, Y Yang, Y Huo, K Kaoudis, H Lefeuvre, P Olivier, ... Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification …, 2023 | 6 | 2023 |
| Wayfinder: towards automatically deriving optimal OS configurations A Jung, H Lefeuvre, C Rotsos, P Olivier, D Oñoro-Rubio, F Huici, ... Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems, 115-122, 2021 | 6 | 2021 |
| Loupe: Driving the development of OS compatibility layers H Lefeuvre, G Gain, VA Bădoiu, D Dinca, VR Schiller, C Raiciu, F Huici, ... Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 5 | 2024 |
| Towards (Really) Safe and Fast Confidential I/O H Lefeuvre, D Chisnall, M Kogias, P Olivier Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023 | 5 | 2023 |
| SoK: Software Compartmentalization H Lefeuvre, N Dautenhahn, D Chisnall, P Olivier arXiv preprint arXiv:2410.08434, 2024 | 3 | 2024 |
| Software Compartmentalization Trade-Offs with Hardware Capabilities JA Kressel, H Lefeuvre, P Olivier Proceedings of the 12th Workshop on Programming Languages and Operating …, 2023 | 2 | 2023 |
| Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress S Santhanam, S Kuenzer, H Lefeuvre, F Huici, A Jung, S Pagani, ... 2020 International Conference on Embedded Software (EMSOFT), 31-33, 2020 | 2 | 2020 |
| FlexOS: easy specialization of OS safety properties H Lefeuvre Proceedings of the 22nd International Middleware Conference: Doctoral …, 2021 | 1 | 2021 |
| TOWARDS SAFE, FLEXIBLE, AND EASY SOFTWARE COMPARTMENTALISATION H Lefeuvre The University of Manchester, 2024 | | 2024 |
| FlexOS: Vers une Isolation Flexible du Noyau H Lefeuvre, VA Bȃdoiu, P Olivier, T Mosnoi, R Deaconescu, F Huici, ... Conférence francophone d'informatique en Parallélisme, Architecture et …, 2021 | | 2021 |
Felipe HuiciNEC Laboratories EuropeVerified email at neclab.eu