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.
☆44Updated 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 …☆53Updated 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…☆38Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 11 months ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆12Updated last year
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆27Updated last week
- ☆40Updated last month
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆102Updated this week
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆60Updated 9 months ago
- ☆22Updated last year
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆55Updated 3 months ago
- Low level attester and verifier drivers for multiple TEEs☆24Updated 9 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆54Updated last year
- ☆23Updated 2 weeks ago
- An on-device confidential computing platform☆112Updated this week
- A CLI tool for interacting with SEV-SNP guest environment☆57Updated last month
- a rust version SPDM protocol implementation☆14Updated last year
- Risc-V hypervisor for TEE development☆112Updated last year
- Group administration repository for Tech: IOPMP Task Group☆13Updated 3 months ago
- Linux kernel source tree☆26Updated this week
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- A formally verified security module for AMD confidential VMs☆40Updated 4 months ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆28Updated 10 months ago
- Tests for verifying compliance of RMM implementations☆18Updated 3 weeks ago
- ☆23Updated 4 months ago
- The MIT Sanctum processor top-level project☆28Updated 4 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆25Updated last week
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆32Updated 5 months ago
- ☆28Updated this week
- ☆15Updated last week
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆38Updated last year