skip to content

Department of Computer Science and Technology

  • 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.

Contact Details

Room: 
GE15
Office address: 
Walla Walla, WA, USA
Email: 

bed22@cam.ac.uk