CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. - Brooks Davis; Robert N. M. Watson; Alexander Richardson 001; Peter G. Neumann; Simon W. Moore; John Baldwin; David Chisnall; Jessica Clarke 001; Nathaniel Wesley Filardo; Khilan Gudka; Alexandre Joannou; Ben Laurie; et al. (ASPLOS, 2019)

CHERI Macaroons: Efficient, host-based access control for cyber-physical systems. - Michael Dodson; Alastair R. Beresford; Alexander Richardson 001; Jessica Clarke 001; Robert N. M. Watson (EuroS&P Workshops, 2020)

Cornucopia: Temporal Safety for CHERI Heaps. - Nathaniel Wesley Filardo; Brett F. Gutstein; Jonathan Woodruff; Sam Ainsworth; Lucian Paul-Trifu; Brooks Davis; Hongyan Xia; Edward Tomasz Napierala; Alexander Richardson 001; John Baldwin; David Chisnall; Jessica Clarke 001; et al. (SP, 2020)

CompartOS: CHERI Compartmentalization for Embedded Systems. - Hesham Almatary; Michael Dodson; Jessica Clarke 001; Peter Rugg; Ivan Gomes; Michal Podhradsky; Peter G. Neumann; Simon W. Moore; Robert N. M. Watson (CoRR, 2022)

Architectural Contracts for Safe Speculation. - Franz A. Fuchs; Jonathan Woodruff; Peter Rugg; Marno van der Maas; Alexandre Joannou; Alexander Richardson 001; Jessica Clarke 001; Nathaniel Wesley Filardo; Brooks Davis; John Baldwin; Peter G. Neumann; Simon W. Moore; et al. (ICCD, 2023)

Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. - Nathaniel Wesley Filardo; Brett F. Gutstein; Jonathan Woodruff; Jessica Clarke 001; Peter Rugg; Brooks Davis; Mark Johnston; Robert M. Norton; David Chisnall; Simon W. Moore; Peter G. Neumann; Robert N. M. Watson (ASPLOS (2), 2024)

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. - Vadim Zaliva; Kayvan Memarian; Ricardo Almeida 003; Jessica Clarke 001; Brooks Davis; Alexander Richardson 001; David Chisnall; Brian Campbell 001; Ian Stark; Robert N. M. Watson; Peter Sewell (ASPLOS (1), 2024)

Safe Speculation for Cheri. - Franz A. Fuchs; Jonathan Woodruff; Peter Rugg; Alexandre Joannou; Jessica Clarke 001; John Baldwin; Brooks Davis; Peter G. Neumann; Robert N. M. Watson; Simon W. Moore (ICCD, 2024)

CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. - Robert N. M. Watson; David Chisnall; Jessica Clarke 001; Brooks Davis; Nathaniel Wesley Filardo; Ben Laurie; Simon W. Moore; Peter G. Neumann; Alexander Richardson 001; Peter Sewell; Konrad Witaszczyk; Jonathan Woodruff (IEEE Secur. Priv., 2024)

It Is Time to Standardize Principles and Practices for Software Memory Safety. - Robert N. M. Watson; John Baldwin; David Chisnall; Tony Chen; Jessica Clarke 001; Brooks Davis; Nathaniel Wesley Filardo; Brett F. Gutstein; Graeme Jenkinson; Ben Laurie; Alfredo Mazzinghi; Simon W. Moore; et al. (Commun. ACM, 2025)