- Research Associate
- PhD Student
I am a research associate and a PhD student (currently CPGS) working on the CHERI project. I joined the project as a research associate in January 2021 to work on third-party software for the CheriBSD operating system and started my PhD in October 2022 to explore compartmentalisation ideas in the CheriBSD kernel under supervision of Prof. Robert Watson.
Research
My CHERI-related projects include:
- CheriBSD kernel compartmentalization;
Exploring compartmentalization strategies of a monolithic kernel using CHERI-enabled hardware. - QEMU BSD CheriABI user mode for CHERI-RISC-V and Morello;
Emulating CheriABI programs without full CHERI-enabled system emulation. - CheriBSD ports;
Adapting third-party software for CHERI-RISC-V and Morello CheriBSD. - Poudriere infrastructure for CheriBSD packages.
Building third-party software for CheriBSD.
Teaching
Demonstrations:
- Advanced Operating Systems taught by Prof. Robert Watson.
- 2022-23 Part II AOS, ACS/Part III L41;
- 2021-22 Part II AOS, ACS/Part III L41.
Part II projects:
- 2022-23 Zalan Martinak (with Alfredo Mazzinghi and Prof. Robert Watson).
The impact of subject bounds on the CheriBSD kernel.
Interns:
- 2022 Zalan Martinak (with Alfredo Mazzinghi and Prof. Robert Watson).
syzkaller and its infrastructure for CheriBSD/Morello.