Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
security coq virtualization riscv rust-lang formal-verification trusted-computing cove trusted-execution-environment confidential-computing refinedrust rocq
-
Updated
May 28, 2025 - Rust