/osdi-paper196-ae

Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

No issues in this repository yet.