Copy of Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics

Status	Active
Effective start/end date	1/05/24 → 30/04/29

Morello-Cerise: A proof of strong encapsulation for the Arm Morello capability hardware architecture
Hammond, A., Almeida, R., Bauereiss, T., Campbell, B., Stark, I. & Sewell, P., 6 Mar 2025, (Accepted/In press) In: Proceedings of the ACM on Programming Languages. 9, PLDI, p. 1-23 23 p., 226.
Research output: Contribution to journal › Article › peer-review

Open Access
A CHERI C memory model for verified temporal safety
Zaliva, V., Memarian, K., Campbell, B., Almeida, R., Filardo, N., Stark, I. & Sewell, P., 19 Nov 2024, (Accepted/In press) Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’25). New York, NY, USA: ACM, p. 1-15 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Project Details