Verified security for the Morello capability-enhanced prototype Arm architecture
Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Report
UCAM-CL-TR-959
University of Cambridge, Computer Laboratory
September 2021
Note(s): ISA specification, CHERI architecture
UCAM-CL-TR-959
University of Cambridge, Computer Laboratory
September 2021
Note(s): ISA specification, CHERI architecture