返回导师列表
TM

Theo Markettos

Dr · Department of Computer Science and Technology

University of Cambridge · United Kingdom
Computer ArchitectureSecuritySystems and Networking

简介

Dr Theo Markettos is a researcher in the Department of Computer Science and Technology at the University of Cambridge. His research interests include computer architecture, security, and systems and networking. He teaches ECAD and Architecture Practical Classes for Part IB.

代表成果

  • Adaptive CHERI Compartmentalization for Heterogeneous Accelerators
  • Advanced Dynamic Scalarisation for RISC-V GPGPUs
  • General hardware multicasting for fine-grained message-passing architectures
  • Cornucopia: Temporal safety for CHERI heaps
  • Position Paper:Defending Direct Memory Access with CHERI Capabilities
  • Termination detection for fine-grained message-passing architectures
  • CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment
  • Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals
  • CHERI JNI: Sinking the Java Security Model into the C
  • Efficient tagged memory

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

学生评价

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