unikraft / gsocLinks
Unikraft Google Summer of Code
☆15Updated 4 months ago
Alternatives and similar repositories for gsoc
Users that are interested in gsoc are comparing it to the libraries listed below
Sorting:
- ☆12Updated 3 years ago
- Implementation of the Arm CCA attestation token in Rust☆13Updated 4 months ago
- ☆40Updated 2 months ago
- ☆21Updated 3 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- Loupe: Syscall Usage Analysis Tool☆45Updated last week
- The front page and documentation for the Unikraft Open-Source Project.☆37Updated 4 months ago
- ☆44Updated this week
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Updated 2 months ago
- ☆14Updated 2 months ago
- VMSDK implements the Evidence API☆11Updated last year
- Meeting materials☆18Updated last week
- Confidential Containers Guest Tools and Components☆113Updated this week
- Confidential Containers Shim Firmware☆119Updated last week
- Risc-V hypervisor for TEE development☆126Updated 2 weeks ago
- Tests for verifying compliance of RMM implementations☆21Updated 4 months ago
- Hypervisor from scratch in linux☆13Updated 3 years ago
- Crates for Microsoft Hypervisor ioctls and bindings☆42Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆10Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Updated 3 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆34Updated last year
- Linux kernel source tree☆31Updated last week
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated last month
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Updated last week
- ☆58Updated 10 months ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Updated 2 years ago
- ☆42Updated 4 months ago