返回导师列表
JC

Jessica Clarke

Senior Research Software Engineer · Department of Computer Science and Technology

University of Cambridge · United Kingdom
Computer ArchitectureProgramming LanguagesSemantics and VerificationSecuritySystems and Networking

简介

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.

代表成果

  • 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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。