Jessica Clarke

About

Jessica Clarke is a Senior Research Software Engineer at the University of Cambridge Department of Computer Science and Technology. Her research focuses on computer architecture, programming languages, semantics and verification, security, and systems and networking.

Selected publications

• Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance
• Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety
• Architectural Contracts for Safe Speculation
• CHERI Macaroons: Efficient, host-based access control for cyber-physical systems
• Cornucopia: Temporal safety for CHERI heaps
• CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment
• CHERI: Hardware-Enabled C/C plus plus Memory Protection at Scale