cali-library-isolation / Cali-library-isolation

Related projects ⓘ

Alternatives and complementary repositories for Cali-library-isolation

• mxz297 / dyninst-tools
  A collection of command-line tools based on Dyninst
  ☆16Updated 3 years ago
• mars-research / lvd-bflank
  ☆12Updated 2 years ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆34Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 4 years ago
• cispa / Microarchitectural-Hash-Function-Recovery
  Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
  ☆26Updated last year
• vusec / dangzero
  ☆16Updated last year
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• mit-ll / HAKC
  ☆34Updated 2 years ago
• mxz297 / Incremental-CFG-Patching-ASPLOS21-AE
  Software artifact for incremental CFG patching paper appearing in ASPLOS 21
  ☆12Updated last year
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• bwickman97 / ffmalloc
  ☆42Updated 2 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆31Updated 7 years ago
• ssl-tud / k-miner
  K-Miner
  ☆72Updated 5 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆44Updated 2 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆46Updated 3 years ago
• tudinfse / SpecFuzz
  A tool to enable fuzzing for Spectre vulnerabilities
  ☆30Updated 4 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆22Updated 6 months ago
• hasanmdme / decap
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Updated 2 years ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆19Updated 7 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 5 years ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆56Updated 6 months ago
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆16Updated 2 weeks ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆54Updated 7 months ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• flowyroll / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆20Updated 4 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated last year
• rssys / shard
  ☆12Updated 3 years ago