Alternatives and similar repositories for ACE-RISCV

Users that are interested in ACE-RISCV are comparing it to the libraries listed below

• chipsalliance / Caliptra
  Caliptra IP and firmware for integrated Root of Trust block
  ☆326Updated last week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆142Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆122Updated 2 months ago
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆126Updated last week
• microsoft / igvm
  ☆107Updated 2 weeks ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆157Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆164Updated last week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆125Updated 3 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆31Updated last week
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆98Updated last week
• riscv-non-isa / riscv-ap-tee
  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 …
  ☆60Updated 3 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆133Updated this week
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆40Updated last week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆134Updated last year
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• virtee / sev
  Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.
  ☆119Updated last week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆196Updated 5 months ago
• tpm-rs / tpm-rs
  TPM 2.0 Implementation
  ☆64Updated 3 weeks ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆43Updated last week
• JamesMenetrey / unine-watz
  WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.
  ☆31Updated last year
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆87Updated last month
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆37Updated last week
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆63Updated this week
• riscv / riscv-cheri
  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…
  ☆77Updated this week
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆60Updated last week
• intel / MigTD
  ☆40Updated last week
• cryspen / hax
  A Rust verification tool
  ☆288Updated last week
• virtee / snpguest
  A CLI tool for interacting with SEV-SNP guest environment
  ☆72Updated 2 weeks ago
• mosscomp / moss
  A computer for human beings.
  ☆45Updated 10 months ago