The following publications are possibly variants of this publication:
- 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]
- Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safetyBrett F. Gutstein. PhD thesis, University of Cambridge, UK, 2022. [doi]
- CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory SafetyHongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel Wesley Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson, Timothy M. Jones 0001. micro 2019: 545-557 [doi]
- CHERI: a RISC capability machine for practical memory safetyJonathan Woodruff. PhD thesis, University of Cambridge, UK, 2014. [doi]
- High-performance memory safety: optimizing the CHERI capability machineAlexandre Jean-Michel Procopi Joannou. PhD thesis, University of Cambridge, UK, 2018. [doi]
- Complete spatial safety for C and C++ using CHERI capabilitiesAlexander Richardson. PhD thesis, University of Cambridge, UK, 2019. [doi]