Repository navigation

#

refinedrust

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.

Confidential ComputingRISC-V安全trusted-computingtrusted-execution-environmentvirtualizationCoqformal-verificationRustrefinedrustcoverocq
Rust
180
2 天前