1 result found Sort:

IBM
ACE-RISCV IBM
12
35
apache-2.0
5
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.
coq riscv security rust-lang refinedrust virtualization trusted-computing formal-verification confidential-computing trusted-execution-environment
Created 2023-09-22
71 commits to main branch, last one 10 days ago