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.
☆199Feb 19, 2026Updated 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 Security HC admin repo☆18Jan 7, 2025Updated last year
- 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 …☆66Dec 18, 2025Updated 2 months ago
- Risc-V hypervisor for TEE development☆131Jan 14, 2026Updated last month
- RISC-V Confidential VM Extension☆13Jan 14, 2026Updated last month
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆66Updated this week
- ☆12Apr 25, 2025Updated 10 months ago
- Reference implementation of RPMI specification as a library.☆14Feb 5, 2026Updated 3 weeks ago
- ⏳ Ruby `Time#strftime` parser and formatter☆16Nov 3, 2025Updated 3 months ago
- RISC-V IOMMU Demo (Linux & Bao)☆24Dec 5, 2023Updated 2 years ago
- Group administration repository for Tech: IOPMP Task Group☆13Dec 19, 2024Updated last year
- This repository contains the specification source for the RISC-V IOPMP Specification. This document proposes a Physical Memory Protectio…☆38Updated this week
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆41Jun 5, 2023Updated 2 years ago
- A monorepo for vOPRF-based secure nullifiers☆22Apr 13, 2025Updated 10 months ago
- Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards☆20Nov 27, 2024Updated last year
- ☆18Feb 16, 2026Updated last week
- Administrative utility for SEV-SNP☆43Feb 20, 2026Updated last week
- Demo host and enclave applications exercising most functionality.☆32Jun 12, 2023Updated 2 years ago
- ☆38Aug 6, 2022Updated 3 years ago
- The MIT Sanctum processor top-level project☆31Apr 7, 2020Updated 5 years ago
- The OpenPiton Platform☆17Aug 14, 2024Updated last year
- ☆31Jun 14, 2023Updated 2 years ago
- RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core☆17Jul 20, 2023Updated 2 years ago
- Rust library for AMD SEV and SEV-SNP☆131Feb 11, 2026Updated 2 weeks ago
- Keystone Enclave (QEMU + HiFive Unleashed)☆521Mar 10, 2025Updated 11 months ago
- Operations on matrices, vectors, and quaternions☆125Updated this week
- ☆23Jun 12, 2025Updated 8 months ago
- This upload contains the artifacts for the paper "SLAP: Data Speculation Attacks via Load Address Prediction on Apple Silicon", to appear…☆22Jan 26, 2025Updated last year
- Groth16 verifier on Arbitrum Stylus☆25Dec 10, 2023Updated 2 years ago
- Linux integrity monitoring for CentOS/RHEL☆12May 13, 2020Updated 5 years ago
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆112Sep 24, 2025Updated 5 months ago
- ☆49Feb 12, 2026Updated 2 weeks ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆43Jan 12, 2026Updated last month
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- Rust library for Intel TDX☆31Nov 24, 2025Updated 3 months ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 6 months ago
- ☆28Mar 4, 2025Updated 11 months ago
- Package for https://gokrazy.org/ to set up Bluetooth☆12Mar 20, 2022Updated 3 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago