diff --git a/README.md b/README.md index 13ac0bc..a389d2e 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ * * * **News** -- We have ported FlexOS to the [CHERI/ARM Morello]([url](https://www.arm.com/architecture/cpu/morello)) platform, to learn more check out our [PLOS'23]([url](https://plos-workshop.org/2023/)) paper "[Software Compartmentalization Trade-Offs with Hardware Capabilities](https://arxiv.org/abs/2309.11332)". +- We have ported FlexOS to the [CHERI/ARM Morello]([url](https://www.arm.com/architecture/cpu/morello)) platform, to learn more check out our [PLOS'23](https://plos-workshop.org/2023/) paper "[Software Compartmentalization Trade-Offs with Hardware Capabilities](https://arxiv.org/abs/2309.11332)". - Our follow-up work, [ConfFuzz](https://conffuzz.github.io/), was accepted at NDSS'23! - We will hold a FlexOS session at the [Lyon Unikraft Hackathon](https://unikraft.org/community/hackathons/2022-05-lyon/). - We are [recruiting at postdoc](https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=22071) to work on FlexOS at the University of Manchester. @@ -30,6 +30,8 @@ Our [main README](https://github.com/project-flexos/unikraft) provides a step-by ### Publications +* **Software Compartmentalization Trade-Offs with Hardware Capabilities.**
J. A. Kressel, H. Lefeuvre, P. Olivier.
[**PLOS'23**](https://www.plos-workshop.org/2023/) [[ArXiv](https://arxiv.org/abs/2309.11332)] + * **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**](https://asplos-conference.org/) [[ACM](https://dl.acm.org/doi/10.1145/3503222.3507759)] [[ArXiv](https://arxiv.org/abs/2112.06566)] [[Artifact](https://github.com/project-flexos/asplos22-ae)] [[YouTube](https://www.youtube.com/watch?v=fKkV4yp97Wc)] * **FlexOS: Easy Specialization of OS Safety Properties.**
H. Lefeuvre.
[**Middleware DW'21**](https://middleware-conf.github.io/2021/call-for-doctoral-symposium/) [[ACM](https://dl.acm.org/doi/abs/10.1145/3491087.3493683)] [[YouTube](https://www.youtube.com/watch?v=jH9sNBuvp0Q)]