B.Eng., M.Eng. (Memorial), PhD (Cambridge), P.Eng.
- Associate Professor
Computer Security, Operating Systems
I work in computer security and privacy, with interests in operating systems, protocols, programming languages and the hardware/software interface. I’m a contributor to the FreeBSD operating system and its Capsicum sandboxing framework, which is also being ported to Linux by Google. I also maintain the website securityconferences.net.
I completed my B.Eng. (2006) and M.Eng. (2008) degrees at Memorial and my PhD at the University of Cambridge (2012). After two further years at Cambridge as a postdoctoral research associate, I returned home to take up a post as an assistant professor.
IEEE Canada–Telus Innovation Award
TESLA: Temporally Enhanced Security Logic Assertions
The CHERI capability model: Revisiting RISC in an age of risk
A taste of Capsicum: practical capabilities for UNIX