- Research Staff
I am a research associate and a PhD student 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.
Before joining the Computer Laboratory, I studied Theoretical Computer Science at the Jagiellonian University for the BSc degree and Computer Science at the University of Copenhagen for the MSc degree. My MSc thesis entitled "Capability-aware memory copying between address spaces" was supervised by Ken Friis Larsen and David Chisnall.
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.
- 2023-24 Part II L341, ACS/Part III L341;
- 2022-23 Part II AOS, ACS/Part III L41;
- 2021-22 Part II AOS, ACS/Part III L41.
Part II projects:
- 2024-25 Zhongqi Zhao (with Alfredo Mazzinghi);
PCuABI Linuxulator for CheriBSD. - 2022-23 Zalan Martinak (with Alfredo Mazzinghi and Prof. Robert Watson).
The impact of subject bounds on the CheriBSD kernel.
Current project ideas for students are listed at the CHERI website.
External co-supervised projects:
- 2022-23 David Mares from the University of Edinburgh (supervised by Ian Stark)
Morello: software adaptation and memory safety on a novel CPU security architecture.
Interns:
- 2024 Manula Dharmawardana (with Alfredo Mazzinghi and Prof. Robert Watson);
QEMU Linux PCuABI user mode for Morello. - 2022 Zalan Martinak (with Alfredo Mazzinghi and Prof. Robert Watson).
syzkaller and its infrastructure for CheriBSD/Morello.
Current internship opportunities are listed at the UROP scheme website.
Professional Activities
Committee memberships:
- Equality, Diversity and Inclusion Committee (2023-24; 2024-25);
- Postgraduate Students' Forum (2022-23; 2023-24; 2024-25).
