- Visiting Industrial Fellow
- Principal Computer Scientist - SRI International
Research
I'm a member of the CHERI Project and lead engineering efforts on CheriBSD, our version of the FreeBSD operating system adapted to support CHERI. I did the initial implementation of CheriABI--the pure-capability process ABI--and lead the effort to make it robust and practical. My research interests revolve around implementing least-privilege principles in modern operating systems and designing interfaces that clearly express intent to to support the principle of intentional use.