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)
  ☆32Updated 7 years ago
• sslab-gatech / juxta
  ☆25Updated 3 years ago
• tsgates / die
  a paper template
  ☆51Updated last year
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆42Updated 3 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆47Updated 6 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆21Updated 3 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆35Updated 5 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 9 years ago
• hku-systems / owl
  ☆13Updated 4 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆30Updated 6 years ago
• rssys / shard
  ☆12Updated 3 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆67Updated 3 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 3 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 7 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
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 11 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆80Updated this week
• deater / perf_event_tests
  Test suite for the Linux perf_event subsystem
  ☆111Updated 3 months ago
• adelie-kaslr / source
  Adelie's source code
  ☆10Updated 2 years ago
• lzto / bogo
  bogo for ASPLOS'19
  ☆9Updated 5 years ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆136Updated 6 years ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆18Updated 4 years ago
• johnwilander / RIPE
  Buffer overflow testbed, research paper published at ACSAC 2011
  ☆91Updated 7 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆42Updated 9 months ago
• acsl-technion / cosmix
  A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
  ☆28Updated 3 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago