Alternatives and similar repositories for fex

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

• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 8 years ago
• sslab-gatech / juxta
  ☆25Updated 3 years ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆19Updated 4 years ago
• deater / perf_event_tests
  Test suite for the Linux perf_event subsystem
  ☆116Updated this week
• tsgates / die
  a paper template
  ☆54Updated 2 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
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆48Updated 7 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated 2 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 3 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆31Updated 7 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆23Updated 3 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆68Updated 3 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆43Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆24Updated 3 years ago
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆14Updated 9 months ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 5 years ago
• hku-systems / owl
  ☆13Updated 5 years ago
• adelie-kaslr / source
  Adelie's source code
  ☆12Updated 3 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆165Updated 11 months ago
• adilahmad17 / Obfuscuro
  Commodity Obfuscation Engine for Intel SGX
  ☆20Updated 5 years ago
• mars-research / lvd-linux
  ☆19Updated 3 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆76Updated 3 years ago
• rssys / shard
  ☆13Updated 3 years ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 6 years ago
• SamAinsworth / MarkUs-sp2020
  Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…
  ☆14Updated 3 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago