NSKernel / Kernel-Play-Guide

Related projects: ⓘ

• 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.
  ☆16Updated last year
• cla7aye15I4nd / shadowbound
  ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…
  ☆20Updated last month
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆193Updated 2 years ago
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆33Updated 2 months ago
• ACMClassCourses / MS108-2020
  ☆17Updated 2 years ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated 10 months ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆17Updated last month
• SparkYHY / Linux-Driver-Runtime
  ☆13Updated last year
• Compass-All / SHELTER
  ☆28Updated last year
• IPADS-DuVisor / DuVisor
  ☆68Updated 11 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆45Updated 10 months ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆12Updated 11 months ago
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆37Updated last year
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆39Updated 5 years ago
• timmyyuan / build-whole-program-into-LLVM-IR
  some notes for how to build projects into a single LLVM bitcode file.
  ☆18Updated 5 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…
  ☆12Updated 10 months ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆37Updated 8 months ago
• NJUSeclab / Software_Security_Experiments
  Repository for Software Security curriculum
  ☆15Updated 4 years ago
• PittECEArch / AdversarialPrefetch
  ☆17Updated 2 years ago
• glarer / UserspaceBypass
  ☆49Updated 4 months ago
• Engineev / ravel
  A RISC-V simulator
  ☆36Updated last year
• chenyxuan / PintOS
  system 2019 project
  ☆13Updated 4 years ago
• renxida / iseedeaduops-poc
  Proof-of-concept for I See Dead Micro-Ops transient execution attack
  ☆14Updated 2 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• decaf-lang / minidecaf-tests
  The MiniDecaf test cases.
  ☆17Updated 8 months ago