rems-project/coq-cheri-capabilities
This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.
Coq
This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.
Coq