Alternatives and similar repositories for ksplit-artifacts:

Users that are interested in ksplit-artifacts are comparing it to the libraries listed below

• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• securesystemslab / PKRU-Safe
  ☆19Updated 3 years ago
• PLSysSec / swivel
  ☆16Updated last year
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆30Updated 5 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated last year
• adilahmad17 / Obfuscuro
  Commodity Obfuscation Engine for Intel SGX
  ☆20Updated 5 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 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…
  ☆37Updated 5 months ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆13Updated last month
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆13Updated last year
• mars-research / lvd-linux
  ☆19Updated 3 years ago
• bwickman97 / ffmalloc
  ☆50Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 8 months ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆19Updated 4 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• mit-ll / HAKC
  ☆35Updated 3 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆61Updated 2 years ago
• ReMon-MVEE / ReMon
  ☆27Updated 3 weeks ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• sslab-gatech / sgx-bomb
  ☆16Updated 6 years ago
• jakobbotsch / llvm-sgx
  LLVM with SGX support
  ☆13Updated 7 years ago
• rssys / shard
  ☆13Updated 3 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆18Updated 2 months ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago