A Formal CHERI-C Semantics for Verification (2022)

First Author: Park S

Attributed to: SCorCH : Secure Code for Capability Hardware funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.2211.07511

Publication URI: https://arxiv.org/abs/2211.07511

Type: Other