Kernel memory safety: Alfredo Mazzinghi, CHERI Memory Safety in the CheriBSD kernel, PhD Draft, 2024. (available by request – future paper submission is anticipated)
CHERI C/C++ programming languages: Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. Moore, Edward Napierala, Peter Sewell, and Peter G. Neumann. CHERI C/C++ Programming Guide, Technical Report UCAM-CL-TR-947, Computer Laboratory, June 2020.
Morello prototype disclaimers: Robert N. M. Watson, Graeme Barnes, Jessica Clarke, Richard Grisenthwaite, Peter Sewell, Simon W. Moore, and Jonathan Woodruff. Arm Morello Programme: Architectural security goals and known limitations, Technical Report UCAM-CL-TR-982, Computer Laboratory, July 2023.
Morello performance: Robert N. M. Watson, Jessica Clarke, Peter Sewell, Jonathan Woodruff, Simon W. Moore, Graeme Barnes, Richard Grisenthwaite, Kathryn Stacer, Silviu Baranga, Alexander Richardson. Early performance results from the prototype Morello microarchitecture, Technical Report UCAM-CL-TR-986, Computer Laboratory, September 2023.