Search results

  • 2023

    Loupe: Driving the Development of OS Compatibility Layers

    Lefeuvre, H., Gain, G., Bădoiu, V.-A., Dinca, D., Schiller, V.-R., Raiciu, C., Huici, F. & Olivier, P., 19 Sept 2023, (Accepted/In press) Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'24). New York, NY, USA, Vol. 1. 19 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • Software Compartmentalization Trade-Offs with Hardware Capabilities

    Kressel, J. A., Lefeuvre, H. & Olivier, P., 1 Oct 2023, 12th Workshop on Programming Languages and Operating Systems (PLOS 2023), October 23, 2023, Koblenz, Germany. p. 49–57

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • Towards (Really) Safe and Fast Confidential I/O

    Lefeuvre, H., Chisnall, D., Kogias, M. & Olivier, P., 22 Jun 2023. 6 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    639 Downloads (Pure)
  • 2022

    Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software

    Lefeuvre, H., Bădoiu, V.-A., Chien, Y., Huici, F., Dautenhahn, N. & Olivier, P., 22 Dec 2022, (Accepted/In press) Proceedings of 30th Network and Distributed System Security (NDSS'23). Internet Society, (NDSS'23).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • FlexOS: Towards Flexible OS Isolation

    Lefeuvre, H., Bădoiu, V.-A., Jung, A., Teodorescu, Ș., Rauch, S., Huici, F., Raiciu, C. & Olivier, P., 28 Feb 2022, ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Falsafi, B., Ferdman, M., Lu, S. & Wenisch, T. F. (eds.). p. 467-482 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    885 Downloads (Pure)
  • 2021

    A Syscall-Level Binary-Compatible Unikernel

    Olivier, P., Lefeuvre, H., Chiba, D., Lankes, S., Min, C. & Ravindran, B., 18 Oct 2021, (Accepted/In press) In: IEEE Transactions on Computers.

    Research output: Contribution to journalArticlepeer-review

  • FlexOS: Easy Specialization of OS Safety Properties

    Lefeuvre, H., 6 Dec 2021, (E-pub ahead of print) Proceedings of the 22nd International Middleware Conference Doctoral Symposium. 22 ed. New York, USA: Association for Computing Machinery, 4 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    215 Downloads (Pure)
  • FlexOS: making OS isolation flexible

    Lefeuvre, H., Bădoiu, V.-A., Teodorescu, S. L., Mosnoi, T., Raiciu, C., Olivier, P., Deaconescu, R. & Huici, F., 1 Jun 2021, HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems. New York, United States: Association for Computing Machinery, p. 79–87 9 p. (HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems).

    Research output: Chapter in Book/Conference proceedingChapterpeer-review

    Open Access
    File
    219 Downloads (Pure)
  • Unikraft: Fast, Specialized Unikernels the Easy Way

    Kuenzer, S., Bădoiu, V.-A., Lefeuvre, H., Santhanam, S., Jung, A., Gain, G., Cyril, S., Lupu, C., Teodorescu, Ș., Răducanu, C., Banu, C., Mathy, L., Deaconescu, R., Raiciu, C. & Huici, F., 23 Apr 2021, Proceedings of the 16th European Conference on Computer Systems. 16 ed. ACM Digital Library

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • Wayfinder: Towards Automatically Deriving Optimal OS Configurations

    Jung, A., Lefeuvre, H., Rotsos, C., Olivier, P., Huici, F., Niepert, M. & Oñoro, D., 29 Jun 2021, (Accepted/In press) 12th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • 2020

    Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress

    Santhanam, S., Kuenzer, S., Lefeuvre, H., Huici, F., Jung, A., Pagani, S., Muraru, G.-C., Stabellini, S., He, J. & Beri, J., 20 Sept 2020, Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress. Singapore, Singapore: IEEE, Vol. 2020 International Conference on Embedded Software (EMSOFT). 3 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    194 Downloads (Pure)