Alternatives and similar repositories for ReCFA

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

• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆25Updated 2 years ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 3 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• jasonyu1996 / elasticlave
  ☆22Updated 3 months ago
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆14Updated 10 months ago
• lzto / bogo
  bogo for ASPLOS'19
  ☆9Updated 6 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆15Updated 4 years ago
• sssecret2019 / mytee
  ☆35Updated 2 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆42Updated 8 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆23Updated 4 years ago
• umnsec / typm
  ☆34Updated 2 years ago
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆14Updated 8 months ago
• XiaZhouZero / OPEC
  ☆9Updated 3 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 6 years ago
• adilahmad17 / Obfuscuro
  Commodity Obfuscation Engine for Intel SGX
  ☆20Updated 5 years ago
• nagnagnet / PrimeProbe
  ☆18Updated 6 years ago
• ZJU-SEC / Readings
  ☆61Updated 3 years ago
• rssys / shard
  ☆13Updated 3 years ago
• WUSTL-CSPL / RT-TEE
  ☆26Updated 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…
  ☆37Updated 7 months ago
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆14Updated 3 years ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 5 years ago
• mit-ll / HAKC
  ☆35Updated 3 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• taptipalit / dynpta
  ☆14Updated 4 years ago
• acsl-technion / cosmix
  A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
  ☆28Updated 4 years ago
• Henrygwb / deepvsa
  ☆44Updated 3 years ago
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated 7 months ago