☆11Jun 10, 2024Updated last year
Alternatives and similar repositories for Veil
Users that are interested in Veil are comparing it to the libraries listed below
Sorting:
- ☆14Nov 11, 2025Updated 3 months ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Nov 1, 2025Updated 4 months ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Mar 2, 2026Updated last week
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 4 months ago
- ☆26Dec 22, 2024Updated last year
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆43Feb 15, 2024Updated 2 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated 4 months ago
- Deploy the SC2 system on Kubernetes.☆10May 7, 2025Updated 10 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 5 years ago
- ☆15Jan 5, 2024Updated 2 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆56Nov 7, 2023Updated 2 years ago
- Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses☆13Sep 19, 2023Updated 2 years ago
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆19Oct 14, 2024Updated last year
- Implementation of the Reusable Enclaves paper☆14Sep 25, 2023Updated 2 years ago
- ☆16Nov 13, 2023Updated 2 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf☆12Mar 12, 2020Updated 5 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Jul 4, 2024Updated last year
- ☆32Jul 11, 2022Updated 3 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- ☆34Nov 7, 2022Updated 3 years ago
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 2 years ago
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 8 years ago
- ☆41Feb 26, 2023Updated 3 years ago
- The Solo5 unikernel☆14Apr 10, 2019Updated 6 years ago
- ☆21Sep 7, 2022Updated 3 years ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 4 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆36Oct 17, 2025Updated 4 months ago
- ☆30Feb 27, 2026Updated last week
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- Low level attester and verifier drivers for multiple TEEs☆26May 30, 2024Updated last year
- The lazypoline syscall interposer☆29May 4, 2025Updated 10 months ago
- SQLite Benchmark☆48Sep 16, 2022Updated 3 years ago
- PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22☆24Nov 11, 2024Updated last year
- COCONUT-SVSM☆204Feb 27, 2026Updated last week
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Jul 7, 2017Updated 8 years ago