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.
☆155Updated this week
Alternatives and similar repositories for ACE-RISCV
Users that are interested in ACE-RISCV are comparing it to the libraries listed below
Sorting:
- Risc-V hypervisor for TEE development☆116Updated 2 weeks ago
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated 9 months ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆110Updated 2 weeks ago
- COCONUT-SVSM☆154Updated this week
- The formally verified crypto library for Rust☆129Updated this week
- Rust support for seL4 userspace☆156Updated this week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆38Updated last week
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆113Updated this week
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- TPM 2.0 Implementation☆54Updated last month
- TSS 2.0 Enhanced System API (ESAPI) Rust wrapper☆102Updated 2 weeks ago
- This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …☆55Updated 2 weeks ago
- Bertie TLS 1.3 Implementation☆118Updated last week
- Confidential Containers Shim Firmware☆111Updated this week
- Caliptra IP and firmware for integrated Root of Trust block☆294Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆130Updated last year
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆32Updated last week
- 'vhost-user' device backends workspace☆90Updated this week
- ☆102Updated this week
- ☆33Updated last week
- ☆40Updated last week
- ☆58Updated 2 months ago
- This repo is used for managing conversations about Veraison features☆52Updated last year
- a rust version SPDM protocol implementation☆16Updated last year
- A Rust verification tool☆262Updated this week
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆63Updated 11 months ago
- Loupe: Syscall Usage Analysis Tool☆34Updated this week
- Lean cryptographic library usable for bare-metal environments☆50Updated last week
- An on-device confidential computing platform☆114Updated 2 weeks ago
- Sail code model of the CHERIoT ISA☆37Updated last week