A Formal CHERI-C Semantics for Verification (2022)
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