Ratel - a new framework for instruction-level interposition on enclaved applications
☆25Dec 14, 2022Updated 3 years ago
Alternatives and similar repositories for ratel
Users that are interested in ratel are comparing it to the libraries listed below
Sorting:
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- Porpoise is a tool to port applications to Intel SGX enclaves.☆10Sep 27, 2021Updated 4 years ago
- Modified musl libc for SGX-LKL☆13Sep 28, 2020Updated 5 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- Low-TCB Linux Applications with SGX Enclaves☆37Aug 28, 2019Updated 6 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
- The nbench benchmark ported to SGX.☆14Aug 4, 2019Updated 6 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Sample applications configs for Gramine☆32Updated this week
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Feb 11, 2022Updated 4 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- ☆14Oct 27, 2021Updated 4 years ago
- ☆19Apr 14, 2024Updated last year
- 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
- A curated list of open-source projects that help exploit Intel SGX technology☆421Feb 9, 2026Updated 3 weeks ago
- Tools and runtime for launching unmodified container images in Trusted Execution Environments☆151Jul 31, 2025Updated 7 months ago
- ☆19Nov 24, 2020Updated 5 years ago
- Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developi…☆142Feb 16, 2026Updated 2 weeks ago
- ☆107Aug 30, 2023Updated 2 years ago
- Compartmentalised monolithic library OS☆20Jul 15, 2021Updated 4 years ago
- The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.☆29Jan 13, 2026Updated last month
- Minimal RISC Extensions for Isolated Execution☆54Jul 11, 2019Updated 6 years ago
- ☆61Mar 20, 2024Updated last year
- sgxtop and sgxstat utilities for monitoring SGX driver statistics☆27Mar 2, 2020Updated 6 years ago
- A list of system papers using/about Intel SGX☆543Jul 8, 2024Updated last year
- ☆28Sep 9, 2020Updated 5 years ago
- go-sev-guest offers a library to wrap the /dev/sev-guest device in Linux, as well as a library for attestation verification of fundamenta…☆68Nov 19, 2025Updated 3 months ago
- SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves☆270Dec 25, 2022Updated 3 years ago
- ☆77Jun 14, 2018Updated 7 years ago
- Microsoft Azure Attestation is a solution for attesting Trusted Execution Environments (TEEs)☆36Apr 10, 2025Updated 10 months ago
- ☆32Jul 11, 2022Updated 3 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆35Apr 21, 2018Updated 7 years ago
- Kubernetes Device Plugin for Intel SGX☆75May 9, 2025Updated 9 months ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆50Feb 23, 2026Updated last week
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- A practical attack framework for precise enclave execution control☆471Jan 16, 2026Updated last month
- ☆34Nov 7, 2022Updated 3 years ago
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Dec 18, 2023Updated 2 years ago