IBM / ACE-RISCV
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified and auditable security monitor.
☆43Updated last week
Alternatives and similar repositories for ACE-RISCV:
Users that are interested in ACE-RISCV are comparing it to the libraries listed below
- 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 …☆52Updated last month
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 9 months ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆25Updated last week
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆34Updated last year
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆101Updated this week
- The MIT Sanctum processor top-level project☆28Updated 4 years ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆53Updated 2 months ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆12Updated last year
- Group administration repository for Tech: IOPMP Task Group☆13Updated 2 months ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆60Updated 8 months ago
- An on-device confidential computing platform☆109Updated last week
- a rust version SPDM protocol implementation☆14Updated last year
- ☆22Updated last year
- Low level attester and verifier drivers for multiple TEEs☆24Updated 8 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆52Updated last year
- Risc-V hypervisor for TEE development☆106Updated last year
- Meeting materials☆16Updated 3 weeks ago
- A formally verified security module for AMD confidential VMs☆36Updated 3 months ago
- A CLI tool for interacting with SEV-SNP guest environment☆55Updated last week
- Linux kernel source tree☆26Updated this week
- ☆23Updated 3 months ago
- ☆39Updated this week
- This repo is used for managing conversations about Veraison features☆52Updated last year
- ☆15Updated last year
- Tests for verifying compliance of RMM implementations☆16Updated last week
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆29Updated 4 months ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆28Updated 9 months ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆35Updated this week
- Minimal RISC Extensions for Isolated Execution☆51Updated 5 years ago