Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. - Thomas Bauereiss; Brian Campbell 001; Thomas Sewell; Alasdair Armstrong; Lawrence Esswood; Ian Stark; Graeme Barnes; Robert N. M. Watson; Peter Sewell (ESOP, 2022)

The Arm Morello Evaluation Platform - Validating CHERI-Based Security in a High-Performance System. - Richard Grisenthwaite; Graeme Barnes; Robert N. M. Watson; Simon W. Moore; Peter Sewell; Jonathan Woodruff (IEEE Micro, 2023)