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.
☆190Updated last 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☆124Updated 4 months ago
- Caliptra IP and firmware for integrated Root of Trust block☆339Updated this week
- A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester☆66Updated last year
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆127Updated last week
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆38Updated 2 weeks ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆147Updated this week
- Caliptra MCU Software☆21Updated last week
- 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 …☆61Updated 5 months ago
- Rust library for AMD SEV and SEV-SNP☆120Updated last week
- An on-device confidential computing platform☆125Updated this week
- Bertie TLS 1.3 Implementation☆125Updated last week
- The formally verified crypto library for Rust☆176Updated this week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆41Updated last month
- Rust support for seL4 userspace☆170Updated last month
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆198Updated 7 months ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆40Updated this week
- 'vhost-user' device backends workspace☆102Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆139Updated last year
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆61Updated this week
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆31Updated last year
- ☆109Updated last week
- Sail code model of the CHERIoT ISA☆45Updated last week
- Demo host and enclave applications exercising most functionality.☆31Updated 2 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆90Updated 2 months ago
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆25Updated 6 months ago
- ☆42Updated this week
- Please see https://github.com/hacspec/hax☆244Updated last year
- TPM 2.0 Implementation☆66Updated last week
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated last year
- MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…☆86Updated last year