asterinas / mlsdisk
Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
☆16Updated 8 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
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆31Updated 3 years 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 2 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆33Updated 6 months ago
- Confidential Containers Shim Firmware☆109Updated last week
- Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019☆37Updated 2 years ago
- A formally verified security module for AMD confidential VMs☆40Updated 4 months ago
- The nbench benchmark ported to SGX.☆13Updated 5 years ago
- HyperEnclave is an open and cross-platform trusted execution environment.☆38Updated 2 months ago
- Trusted I/O Paths for SGX Enclaves☆16Updated 4 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆128Updated last year
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆11Updated last year
- ☆21Updated 2 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆54Updated last year
- A Rust library for safely programming persistent memory☆74Updated 9 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- Loupe: Syscall Usage Analysis Tool☆32Updated this week
- Implementation of the Reusable Enclaves paper☆13Updated last year
- ☆114Updated last month
- ☆70Updated last year
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆102Updated last week
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 6 months ago
- SGX protected filesystem demo☆12Updated 7 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 4 years ago
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆14Updated 4 months ago
- An Open and Cross-platform Trusted Execution Environment.☆147Updated 6 months ago
- ☆16Updated last year
- ☆30Updated 2 years ago
- Virtualisation platform using CHERI for isolation and sharing☆37Updated 9 months ago