Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
☆20Jul 4, 2024Updated last year
Alternatives and similar repositories for mlsdisk
Users that are interested in mlsdisk are comparing it to the libraries listed below
Sorting:
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36May 26, 2023Updated 2 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)☆35Mar 28, 2023Updated 2 years ago
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 4 months ago
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Dec 18, 2023Updated 2 years ago
- AECS(Attestation based Enclave Configuration Service)☆14Jan 10, 2024Updated 2 years ago
- ☆31Jul 11, 2022Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- An os independent rust ext4 file system☆59Jan 28, 2026Updated last month
- With a goal to make confidential computing easier, SOFAEnclave is a software stack consisting of key technologies such as HW/SW enclave i…☆18Jul 7, 2023Updated 2 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- An Open and Cross-platform Trusted Execution Environment.☆150Sep 27, 2024Updated last year
- AMD SEV-SNP rust utils☆16May 13, 2025Updated 10 months ago
- Stress-SGX is a fork of stress-ng that allows to put Intel SGX enclaves under high load.☆16Aug 21, 2018Updated 7 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated 10 months ago
- TLA+ specification of Flexible Paxos☆42Sep 29, 2023Updated 2 years ago
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆58Jan 26, 2024Updated 2 years ago
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 5 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- A lock-free thread-safe concurrent SkipMap implementation based on ARENA skiplist which helps develop MVCC memtable for LSM-Tree.☆67Mar 14, 2026Updated last week
- This is a collection of sidecar containers that can be incorporated within confidential container groups on Azure Container Instances.☆19Jul 27, 2023Updated 2 years ago
- ☆49Mar 13, 2024Updated 2 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 3 years ago
- Confidential VM Platform Guest attestation sample apps☆81Mar 11, 2026Updated last week
- ☆21Sep 7, 2022Updated 3 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- ☆13Feb 16, 2026Updated last month
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆47Updated this week
- ☆11Jun 10, 2024Updated last year
- An implementation of ext2 filesystem in Rust☆15Oct 8, 2021Updated 4 years ago
- Linux kernel branches for confidential compute research☆20Mar 31, 2025Updated 11 months ago
- Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.☆16Oct 15, 2024Updated last year
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- The file system module for rCore OS.☆50Jun 13, 2024Updated last year
- Compartmentalised monolithic library OS☆21Jul 15, 2021Updated 4 years ago