Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
| Title: | Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture |
|---|---|
| Authors: | Hammond, Angus; Almeida, Ricardo; Bauereiss, Thomas; Campbell, Brian; Stark, Ian; Sewell, Peter |
| Source: | Proceedings of the ACM on Programming Languages. 9(PLDI):1961-1983 |
| Availability: | http://dl.acm.org/doi/10.1145/3729329 |
| Database: | ACM Full-Text Collection |