islet-project / islet
An on-device confidential computing platform
☆114Updated last week
Alternatives and similar repositories for islet:
Users that are interested in islet are comparing it to the libraries listed below
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆56Updated 4 months ago
- Reference implementation of Arm-CCA RMM specification☆49Updated this week
- ☆40Updated last month
- COCONUT-SVSM☆146Updated last week
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆28Updated this week
- Confidential Containers Shim Firmware☆110Updated 3 weeks ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated last year
- ☆85Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆128Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 11 months ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆39Updated last year
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆61Updated 9 months ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆104Updated last week
- 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 …☆55Updated 3 weeks ago
- An Open and Cross-platform Trusted Execution Environment.☆147Updated 6 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆54Updated last year
- A formally verified security module for AMD confidential VMs☆43Updated last week
- Risc-V hypervisor for TEE development☆112Updated last year
- ☆30Updated this week
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36Updated last year
- AMD SEV Tool☆83Updated last year
- ☆24Updated 4 months ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆29Updated 11 months ago
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆61Updated last month
- ☆58Updated 2 weeks ago
- ☆22Updated last year
- ☆29Updated 2 weeks ago
- Meeting materials☆16Updated last month
- A CLI tool for interacting with SEV-SNP guest environment☆60Updated 2 months ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆36Updated 6 months ago