Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Primary LanguageCoqGNU General Public License v3.0GPL-3.0