Adrien Ghosn

À propos

My PhD at EPFL, Switzerland, focused on the intersection between programming languages, systems, and security with a particular interest in programming abstractions for compartmentalization and confidential computing.

I joined Microsoft Cambridge for a PostDoc focused on building flexible support for compartmentalization and confidential computing on commodity hardware.

In collaboration with EPFL, I am currently developing a security monitor in Rust that runs unmodified Linux and supports both compartmentalization (user and kernel sandboxes) and confidential computing (confidential VMs and enclaves) based on virtualization technologies on x86 and machine mode’s Physical Memory Protection (PMP) on RISC-V.

For a list of publications, see my linked in profile.