Skip to content

Commit c474f48

Browse files
committed
2024 updates
Signed-off-by: Hugo Lefeuvre <[email protected]>
1 parent 1579374 commit c474f48

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

README.md

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55

66
* * *
77
**News**
8+
- Hugo's [PhD thesis was published](https://pure.manchester.ac.uk/ws/portalfiles/portal/317271609/FULL_TEXT.PDF).
89
- FlexOS will be presented at the [Huawei Future Device Technology Summit’23](https://github.com/project-flexos/project-flexos.github.io/raw/main/docs/Huawei_Future_Device_Summit_Helsinki.pdf).
910
- 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)".
1011
- Our follow-up work, [ConfFuzz](https://conffuzz.github.io/), was accepted at NDSS'23!
@@ -57,10 +58,12 @@ Our [main README](https://github.com/project-flexos/unikraft) provides a step-by
5758
* **VM/EPT: A Virtualisation-based Isolation Backend for FlexOS.**<br/>S. Rauch, 2022, Master Thesis at [KIT](https://os.itec.kit.edu/index.php) [[PDF](https://os.itec.kit.edu/97_3826.php)]
5859
* **Enforcing Control-Flow Integrity in FlexOS**<br/>M. Krajewski, 2023, BSc Thesis at [The University of Manchester](https://www.manchester.ac.uk/) [[PDF](https://github.com/project-flexos/project-flexos.github.io/raw/main/docs/mateusz-krajewski-report.pdf)]
5960
* **Exploring Software Compartmentalisation with Hardware Capabilities**<br/>J. A. Kressel, 2023, MPhil Thesis at [The University of Manchester](https://www.manchester.ac.uk/) [[PDF](https://pure.manchester.ac.uk/ws/portalfiles/portal/280560037/FULL_TEXT.PDF)]
61+
* **Towards Safe, Flexible, and Easy Software Compartmentalisation**<br/>H. Lefeuvre, 2024, PhD Thesis at [The University of Manchester](https://www.manchester.ac.uk/) [[PDF](https://pure.manchester.ac.uk/ws/portalfiles/portal/317271609/FULL_TEXT.PDF)]
6062

6163
### Contact
6264

63-
[Hugo Lefeuvre](https://owl.eu.com), The University of Manchester: hugo.lefeuvre *at* manchester.ac.uk
65+
[Hugo Lefeuvre](https://owl.eu.com), ~~The University of Manchester: hugo.lefeuvre *at* manchester.ac.uk~~ hugo.lefeuvre *at* ubc.ca (moved to the University of British Columbia)
66+
[Pierre Olivier](https://sites.google.com/view/pierreolivier), The University of Manchester: pierre.olivier *at* manchester.ac.uk
6467

6568
* * *
6669

0 commit comments

Comments
 (0)