refinedrust

There are 0 repository under refinedrust topic.

IBM / ACE-RISCV
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.
confidential-computing riscv security trusted-computing trusted-execution-environment virtualization coq formal-verification rust-lang refinedrust
Language:Rust 23

IBM / ACE-RISCV