lsds / sgx-lkl-musl
Modified musl libc for SGX-LKL
☆13Updated 4 years ago
Alternatives and similar repositories for sgx-lkl-musl:
Users that are interested in sgx-lkl-musl are comparing it to the libraries listed below
- The nbench benchmark ported to SGX.☆13Updated 5 years ago
- ExitLess services for SGX enclaves☆33Updated 5 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 4 years ago
- High-level performance analyser toolkit for Intel SGX☆39Updated 5 years ago
- Low-TCB Linux Applications with SGX Enclaves☆37Updated 5 years ago
- SGX protected filesystem demo☆12Updated 7 years ago
- ☆13Updated 2 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆31Updated 7 years ago
- ☆79Updated 2 years ago
- ☆70Updated 2 years ago
- Stress-SGX is a fork of stress-ng that allows to put Intel SGX enclaves under high load.☆16Updated 6 years ago
- ☆30Updated 2 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆54Updated last year
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆25Updated 2 years ago
- A code confidentiality framework for Intel SGX☆17Updated 6 years ago
- Ratel - a new framework for instruction-level interposition on enclaved applications☆23Updated 2 years ago
- A Secure Version of DATAVIEW using SGX techniques.☆10Updated 3 years ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆57Updated last year
- ☆17Updated 2 years ago
- sgxtop and sgxstat utilities for monitoring SGX driver statistics☆25Updated 5 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆51Updated last month
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆59Updated 4 months ago
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆11Updated last year
- Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper☆24Updated 4 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆85Updated 7 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Updated 5 years ago
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36Updated last year
- A library and an application to provide migratable primitives for SGX enclaves.☆21Updated 5 years ago