Alternatives and similar repositories for Kernel-Play-Guide:

Users that are interested in Kernel-Play-Guide are comparing it to the libraries listed below

• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆15Updated 4 years ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆20Updated last year
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆22Updated 8 months ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 7 months ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆13Updated last year
• Compass-All / SHELTER
  ☆33Updated last year
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆39Updated 9 months ago
• ZJU-Automated-Reasoning-Group / lotus
  Program analysis and verification framework
  ☆15Updated this week
• mit-ll / Cross-Language-Attacks
  ☆26Updated 2 years ago
• twd2 / roload
  My DAC '21 work open-sourced.
  ☆14Updated 4 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated 6 months ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 3 months ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• MSRSSP / core-slicing
  Getting Started with the Core Slicing Prototype
  ☆14Updated last year
• IPADS-DuVisor / DuVisor
  ☆71Updated last year
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆38Updated 6 months ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• ACMClassCourses / MS108-2020
  ☆17Updated 3 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆43Updated 3 weeks ago
• ZJU-SEC / Readings
  ☆61Updated 2 years ago
• greenlsi / reload_refresh
  Reload+Refresh PoC
  ☆14Updated 5 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆76Updated 3 years ago
• Engineev / ravel
  A RISC-V simulator
  ☆36Updated last year
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• vahldiek / erim
  ☆14Updated last year
• 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
• bu-icsg / PHMon
  This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).
  ☆26Updated 4 years ago