hckuo2 / CozartLinks
Silm your kernel with better configuration.
☆36Updated last year
Alternatives and similar repositories for Cozart
Users that are interested in Cozart are comparing it to the libraries listed below
Sorting:
- Virtualisation platform using CHERI for isolation and sharing☆39Updated last year
- ☆20Updated 3 years ago
- ☆207Updated 3 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆137Updated last year
- ☆39Updated last month
- Reference implementation of Arm-CCA RMM specification☆60Updated last week
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆40Updated 2 weeks ago
- ☆91Updated last week
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆33Updated 3 years ago
- A formally verified security module for AMD confidential VMs☆53Updated 3 months ago
- Hodor-PKU☆25Updated 4 years ago
- ☆63Updated last year
- Microscope: Enabling Microarchitectural Replay Attacks☆20Updated 5 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- ☆26Updated last month
- ☆23Updated 3 years ago
- 64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…☆22Updated 3 years ago
- An on-device confidential computing platform☆124Updated last week
- ☆13Updated 7 months ago
- ☆99Updated 2 years ago
- AMD Secure Encrypted Virtualization☆342Updated 5 months ago
- ☆12Updated 3 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated last year
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆78Updated 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
- Linux kernel source tree☆29Updated last week
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- ☆41Updated this week
- Linux in Unikernel Clothing☆72Updated 3 years ago