Colin Rothwell

Fast Protection-Domain Crossing in the CHERI Capability-System Architecture

Peter G. Neumann, Michael Roe, Robert N. M. Watson, 2016, IEEE Micro.

Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals

Peter G. Neumann, Robert N. M. Watson, Simon W. Moore, 2019, NDSS.

Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine

Peter G. Neumann, Michael Roe, Robert N. M. Watson, 2015, ASPLOS.

Modular Research-Based Composably Trustworthy Mission-Oriented Resilient Clouds (MRC2)

Andrew W. Moore, Peter G. Neumann, Brooks Davis, 2016 .