IBM / ACE-RISCVLinks
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.
☆193Updated 2 weeks ago
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☆127Updated 6 months ago
- Caliptra IP and firmware for integrated Root of Trust block☆362Updated 2 weeks ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆132Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆67Updated last year
- An on-device confidential computing platform☆133Updated this week
- Rust support for seL4 userspace☆177Updated 3 weeks ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆202Updated this week
- ☆115Updated 2 months 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 …☆65Updated this week
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆199Updated 9 months ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆49Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- The formally verified crypto library for Rust☆188Updated this week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆40Updated last week
- Rust library for AMD SEV and SEV-SNP☆126Updated 2 weeks ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Updated this week
- Loupe: Syscall Usage Analysis Tool☆44Updated this week
- Bertie TLS 1.3 Implementation☆130Updated 2 months ago
- COCONUT-SVSM☆188Updated last week
- a rust version SPDM protocol implementation☆16Updated 2 years ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆119Updated 2 years ago
- 'vhost-user' device backends workspace☆106Updated last week
- ☆43Updated last week
- A VMM implementation based of rust-vmm components☆158Updated last year
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆27Updated 8 months ago
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆88Updated this week
- Confidential Containers Shim Firmware☆115Updated this week
- Demo host and enclave applications exercising most functionality.☆32Updated 2 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆164Updated 3 weeks ago
- A CLI tool for interacting with SEV-SNP guest environment☆83Updated last month