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
• 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
• project-dune / dune
  ☆209Updated 3 years ago
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• error27 / smatch
  Static Analyser for C
  ☆138Updated last week
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 5 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆58Updated last week
• bpfverif / agni
  ☆45Updated this week
• intel-staging / tdx
  ☆91Updated last month
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆71Updated 4 years ago
• gramineproject / gramine-tdx
  A library OS for Linux multi-process applications, with Intel TDX support (experimental)
  ☆42Updated 3 weeks ago
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆66Updated last week
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• adelie-kaslr / source
  Adelie's source code
  ☆12Updated 3 years ago
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆69Updated last year
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆39Updated 5 years ago
• confidential-containers / td-shim
  Confidential Containers Shim Firmware
  ☆115Updated last week
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆184Updated this week
• intel-staging / td-partitioning-svsm
  ☆14Updated 2 weeks ago
• AMDESE / linux
  Linux kernel source tree
  ☆31Updated last week
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆64Updated last month
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years ago
• antonblanchard / will-it-scale
  ☆81Updated last year
• spectector / spectector
  Automatic detection of speculative information flows
  ☆74Updated 4 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆18Updated 3 years ago
• adilahmad17 / Veil
  ☆10Updated last year