Alternatives and similar repositories for Cozart

Users that are interested in Cozart are comparing it to the libraries listed below

• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆142Updated last year
• project-dune / dune
  ☆209Updated 3 years ago
• gramineproject / gramine-tdx
  A library OS for Linux multi-process applications, with Intel TDX support (experimental)
  ☆45Updated 2 months ago
• intel-staging / qemu-tdx
  ☆40Updated last month
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆67Updated 3 weeks ago
• mars-research / lvd-linux
  ☆21Updated 3 years ago
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆40Updated 5 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆63Updated last month
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆68Updated 3 weeks ago
• intel-staging / tdx
  ☆93Updated 3 months ago
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• error27 / smatch
  Static Analyser for C
  ☆150Updated 3 weeks ago
• adelie-kaslr / source
  Adelie's source code
  ☆12Updated 3 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• AMDESE / AMDSEV
  AMD Secure Encrypted Virtualization
  ☆354Updated 2 weeks ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 4 years ago
• amd / AMD-ASPFW
  ☆104Updated 2 years ago
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆13Updated 5 years ago
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆189Updated this week
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆69Updated last year
• antonblanchard / will-it-scale
  ☆82Updated 2 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated 2 years ago
• confidential-containers / td-shim
  Confidential Containers Shim Firmware
  ☆116Updated this week
• hrosier / ripe64
  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
• intel-staging / td-partitioning-svsm
  ☆14Updated 2 months ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago