Alternatives and similar repositories for ACE-RISCV

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

• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆125Updated 5 months ago
• chipsalliance / Caliptra
  Caliptra IP and firmware for integrated Root of Trust block
  ☆351Updated last week
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆193Updated this week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆128Updated this week
• microsoft / igvm
  ☆114Updated last month
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆177Updated last week
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆66Updated last year
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆184Updated this week
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆38Updated last month
• 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 …
  ☆64Updated 6 months ago
• riscv / riscv-smmtt
  This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…
  ☆64Updated last week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆158Updated this week
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆40Updated last week
• riscv / riscv-cheri
  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…
  ☆91Updated this week
• cryspen / bertie
  Bertie TLS 1.3 Implementation
  ☆127Updated last month
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆48Updated last week
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆47Updated this week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆198Updated 8 months ago
• keystone-enclave / keystone-demo
  Demo host and enclave applications exercising most functionality.
  ☆31Updated 2 years ago
• islet-project / islet
  An on-device confidential computing platform
  ☆131Updated this week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• virtee / sev
  Rust library for AMD SEV and SEV-SNP
  ☆123Updated 2 weeks ago
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆105Updated this week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• intel / MigTD
  ☆43Updated this week
• toddmaustin / spectre-rust
  Spectre V1 Proof-of-Concept Attack in the Rust Language
  ☆27Updated 8 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆42Updated this week
• CHERIoT-Platform / cheriot-rtos
  The RTOS components for the CHERIoT research platform
  ☆156Updated last week
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆38Updated 2 weeks ago
• lfi-project / lfi
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆91Updated last month