asterinas / mlsdisk
Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
☆16Updated 6 months ago
Alternatives and similar repositories for mlsdisk:
Users that are interested in mlsdisk are comparing it to the libraries listed below
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36Updated last year
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆27Updated 3 months ago
- ☆11Updated last month
- Loupe: Syscall Usage Analysis Tool☆26Updated 3 months ago
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆33Updated last year
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 2 years ago
- Confidential Containers Shim Firmware☆100Updated 3 weeks ago
- ☆22Updated this week
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆10Updated 11 months ago
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- ☆21Updated 2 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆53Updated 3 months ago
- A formally verified security module for AMD confidential VMs☆36Updated 2 months ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 3 years ago
- ☆112Updated last month
- Modified musl libc for SGX-LKL☆13Updated 4 years ago
- A Rust library for safely programming persistent memory☆73Updated 7 months ago
- The nbench benchmark ported to SGX.☆13Updated 5 years ago
- Trusted I/O Paths for SGX Enclaves☆15Updated 4 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆126Updated 11 months ago
- An operation-log based approach for data replication.☆61Updated last year
- ☆72Updated last year
- ☆57Updated 4 months ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆56Updated 7 months ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆98Updated this week
- ☆69Updated last year
- Implementation of the Reusable Enclaves paper☆12Updated last year
- A CLI tool for interacting with SEV-SNP guest environment☆53Updated 3 weeks ago
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 7 months ago