refinedrust

Here is 1 public repository matching this topic...

IBM / ACE-RISCV

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 Sep 6, 2026
Rust

Add this topic to your repo

To associate your repository with the refinedrust topic, visit your repo's landing page and select "manage topics."

Learn more