Trevor E. Carlson

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)

2023 · arXiv (Cornell University)

Capability-based memory isolation is a promising new architectural primitive. Software can access low-level memory only via capability handles rather than raw pointers, which provides a natural interface to enforce security restrictions. Existing architectural capability designs …

Efficient Detection and Mitigation Schemes for Speculative Side Channels

2024

The introduction of Spectre in 2018 demonstrated a serious threat in almost all modern processors since Spectre exploits the main performance enabler of processors: speculative execution. Detecting and mitigating speculative execution attacks have been a …