Alternatives and similar repositories for PALinux:

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

• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆37Updated 5 months ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 3 years ago
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆14Updated 7 months ago
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆15Updated 2 years ago
• akshithg / linux-security-papers
  ☆22Updated 5 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• HexHive / ViDeZZo
  ViDeZZo source code.
  ☆35Updated 3 weeks ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆59Updated 5 months ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆40Updated 3 years ago
• mustakimur / CFI-LB
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆21Updated 2 years ago
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• vul337 / EnclaveFuzz
  Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
  ☆24Updated 6 months ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆15Updated 2 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆29Updated 10 months ago
• rssys / shard
  ☆13Updated 3 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• s3team / Abacus
  Side-channel Analysis
  ☆15Updated 2 years ago
• TJAndHisStudents / Griffin-Trace
  A version of Griffin used to provide program traces
  ☆15Updated 4 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated last year
• sslab-gatech / deadline
  ☆46Updated 3 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• seclab-ucr / SyzGenPlusPlus
  ☆13Updated last year
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• compsec-snu / petal
  PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)
  ☆10Updated 6 months ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated 11 months ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 5 years ago
• CactiLab / SoK-Cortex-M
  The published code repo for the Cortex-M SoK paper.
  ☆19Updated last month