Alternatives and similar repositories for ozz:

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

• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• rssys / snowcat
  This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…
  ☆14Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆53Updated last month
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆31Updated 3 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆43Updated 2 weeks ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 7 months ago
• IPADS-DuVisor / DuVisor
  ☆71Updated last year
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆13Updated last year
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆41Updated last week
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated last year
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• glarer / UserspaceBypass
  ☆56Updated 11 months ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated last week
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆22Updated 8 months ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆19Updated 4 years ago
• mars-research / lvd-linux
  ☆19Updated 3 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆14Updated 5 months ago
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆39Updated 8 months ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 3 years ago
• rs3lab / KFlex
  ☆28Updated last month
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆37Updated 10 months ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆20Updated last year