unikraft / gsocLinks
Unikraft Google Summer of Code
☆14Updated 3 weeks ago
Alternatives and similar repositories for gsoc
Users that are interested in gsoc are comparing it to the libraries listed below
Sorting:
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆139Updated last year
- ☆20Updated 3 years ago
- Loupe: Syscall Usage Analysis Tool☆39Updated this week
- ☆42Updated this week
- ☆12Updated 3 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Updated 2 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Tests for verifying compliance of RMM implementations☆19Updated 3 weeks ago
- ☆39Updated 2 months ago
- ☆123Updated 4 months ago
- Risc-V hypervisor for TEE development☆124Updated 4 months ago
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆22Updated 3 weeks ago
- ☆26Updated 3 years ago
- A Type-1.5 hypervisor written in Rust.☆68Updated last year
- The front page and documentation for the Unikraft Open-Source Project.☆36Updated last month
- Crates for Microsoft Hypervisor ioctls and bindings☆41Updated this week
- hypercraft is a VMM library written in Rust.☆52Updated last year
- Hypervisor from scratch in linux☆14Updated 3 years ago
- ☆40Updated this week
- An on-device confidential computing platform☆125Updated this week
- RedLeaf Operating System☆136Updated 3 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- ☆14Updated 8 months ago
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆63Updated last year
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆92Updated this week
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 4 years ago
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆56Updated 2 weeks ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago