External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Angus Hammond

This author has not been identified. Look up 'Angus Hammond' in Google

Ricardo Almeida 0003

This author has not been identified. Look up 'Ricardo Almeida 0003' in Google

Thomas Bauereiss

This author has not been identified. Look up 'Thomas Bauereiss' in Google

Brian Campbell 0001

This author has not been identified. Look up 'Brian Campbell 0001' in Google

Ian Stark

This author has not been identified. Look up 'Ian Stark' in Google

Peter Sewell

This author has not been identified. Look up 'Peter Sewell' in Google
runs on