Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture

Angus Hammond, Ricardo Almeida 0003, Thomas Bauereiss, Brian Campbell 0001, Ian Stark, Peter Sewell. Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):1961-1983, 2025. [doi]

Abstract

Abstract is missing.