• A CHERI C Memory Model for Ver...

Treffer: A CHERI C Memory Model for Verified Temporal Safety

Title:
A CHERI C Memory Model for Verified Temporal Safety
Authors:
Zaliva, Vadim, Memarian, Kayvan, Campbell, Brian, Almeida, Ricardo, Filardo, Nathaniel, Stark, Ian, Sewell, Peter
Source:
Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. :112-126
Availability:
http://dl.acm.org/doi/10.1145/3703595.3705878
Database:
ACM Full-Text Collection