The following publications are possibly variants of this publication:
- Complete spatial safety for C and C++ using CHERI capabilitiesAlexander Richardson. PhD thesis, University of Cambridge, UK, 2019. [doi]
- Cornucopia: Temporal Safety for CHERI HeapsNathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Sam Ainsworth, Lucian Paul-Trifu, Brooks Davis, Hongyan Xia, Edward Tomasz Napierala, Alexander Richardson, John Baldwin, David Chisnall, Jessica Clarke, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Alfredo Mazzinghi, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Timothy M. Jones 0001, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson. sp 2020: 608-625 [doi]
- Fat Pointers for Temporal Memory Safety of CJie Zhou 0022, John Criswell, Michael Hicks 0001. PACMPL, 7(OOPSLA1):316-347, April 2023. [doi]
- CHERI: a RISC capability machine for practical memory safetyJonathan Woodruff. PhD thesis, University of Cambridge, UK, 2014. [doi]
- Position Paper: Defending Direct Memory Access with CHERI CapabilitiesA. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson. micro 2020: [doi]
- Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal SafetyNathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke 0001, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson. asplos 2024: 251-268 [doi]