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
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• gramineproject / gramine-tdx
  A library OS for Linux multi-process applications, with Intel TDX support (experimental)
  ☆44Updated last month
• project-dune / dune
  ☆209Updated 3 years ago
• mars-research / lvd-linux
  ☆21Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• 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
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆61Updated last week
• jlgreathouse / AMD_IBS_Toolkit
  AMD Research Instruction Based Sampling Toolkit
  ☆94Updated 4 years ago
• cispa / mwait
  Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…
  ☆26Updated 2 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆18Updated 3 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆20Updated 4 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
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆20Updated 5 years ago
• intel-staging / tdx
  ☆93Updated 2 months ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated 2 years ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• intel-staging / qemu-tdx
  ☆40Updated last month
• amd / AMD-ASPFW
  ☆104Updated 2 years ago
• bpfverif / agni
  ☆45Updated 3 weeks ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆75Updated 4 years ago
• AMDESE / linux
  Linux kernel source tree
  ☆31Updated this week
• intel / qemu-sgx
  ☆71Updated 2 years ago
• paulgazz / kmax
  A collection of analysis tools for Kconfig and Kbuild constraints.
  ☆65Updated this week
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆188Updated this week
• confidential-containers / td-shim
  Confidential Containers Shim Firmware
  ☆115Updated this week
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• intel-staging / td-partitioning-svsm
  ☆14Updated last month