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
  ☆35Updated 9 months ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆63Updated this week
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆46Updated this week
• ratel-enclave / ratel
  Ratel - a new framework for instruction-level interposition on enclaved applications
  ☆23Updated 2 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆26Updated 3 weeks ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆46Updated 3 years ago
• intel-staging / qemu-tdx
  ☆36Updated this week
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆39Updated 4 months ago
• LinuxPerfStudy / LEBench
  ☆61Updated 8 months ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆22Updated last year
• Compass-All / CCS22-StrongBox
  ☆31Updated 2 years ago
• SEVeriFast / severifast
  A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)
  ☆11Updated last year
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆31Updated this week
• tsgates / die
  a paper template
  ☆53Updated last year
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆18Updated 4 years ago
• antonblanchard / will-it-scale
  ☆72Updated last year
• awilliam / tests
  Random test code
  ☆18Updated 6 months ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated last week
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆47Updated 4 months ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆13Updated this week
• stefano-garzarella / qemu-boot-time
  perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU
  ☆38Updated 4 years ago