Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell

Journal title: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1

Journal publisher: ACM

Published year: 2024

Published pages: 181-196

DOI identifier: 10.1145/3617232.3624859