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
  ☆314Updated this week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆69Updated 11 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆138Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆119Updated last month
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆151Updated this week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆120Updated this week
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆30Updated this week
• microsoft / igvm
  ☆103Updated last month
• 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.
  ☆115Updated this week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆197Updated 4 months ago
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆38Updated this week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆124Updated last month
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆132Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆162Updated 3 weeks ago
• 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 …
  ☆58Updated 2 months ago
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆96Updated 2 weeks ago
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆35Updated 2 weeks ago
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆33Updated last month
• islet-project / islet
  An on-device confidential computing platform
  ☆118Updated last week
• lowRISC / manticore
  ☆17Updated 3 years ago
• cryspen / hax
  A Rust verification tool
  ☆280Updated this week
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆40Updated 2 weeks ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆128Updated last week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆244Updated last year
• pornin / rust-fn-dsa
  FN-DSA (Falcon) signature scheme
  ☆43Updated 4 months ago
• intel / MigTD
  ☆39Updated last week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆85Updated this week
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago