Theo Markettos

Dr · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Computer ArchitectureSecuritySystems and Networking

About

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.

Selected publications

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

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.