Compartmentalised monolithic library OS
☆20Jul 15, 2021Updated 4 years ago
Alternatives and similar repositories for CubicleOS
Users that are interested in CubicleOS are comparing it to the libraries listed below
Sorting:
- ☆16Sep 29, 2022Updated 3 years ago
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- Simple password-wallet application based on Intel SGX for linux.☆17May 2, 2020Updated 5 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 6 years ago
- ☆25Oct 4, 2018Updated 7 years ago
- ☆11Nov 13, 2020Updated 5 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- RTL blocks compatible with the Rocket Chip Generator☆17Mar 30, 2025Updated 11 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 5 years ago
- AMD SEV-SNP rust utils☆16May 13, 2025Updated 9 months ago
- ☆13Oct 8, 2021Updated 4 years ago
- ☆13Apr 9, 2022Updated 3 years ago
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 5 years ago
- 2022 USTC 011705 (OSH) Course Project of Runikraft Group☆13Jul 22, 2022Updated 3 years ago
- ☆17Jun 7, 2022Updated 3 years ago
- ☆37May 19, 2023Updated 2 years ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆15Feb 7, 2024Updated 2 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Feb 11, 2022Updated 4 years ago
- ☆38Feb 15, 2022Updated 4 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Aug 21, 2021Updated 4 years ago
- ☆14Oct 27, 2021Updated 4 years ago
- Tempo is a system for declarative, efficient, end-to-end compiled dynamic deep learning☆28Oct 21, 2025Updated 4 months ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- ☆13Oct 17, 2021Updated 4 years ago
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- 面向可信执行环境的OS。☆12May 9, 2025Updated 9 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- ☆15Apr 13, 2021Updated 4 years ago
- 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
- ☆25Jun 2, 2024Updated last year
- Verifying OpenTitan☆28Aug 20, 2023Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Nov 14, 2024Updated last year
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Sep 2, 2023Updated 2 years ago