Alternatives and similar repositories for FortifyPatch

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

• riscv / riscv-memory-tagging
  Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores
  ☆26Updated this week
• nkicsl / SmartZone
  ☆10Updated last year
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆21Updated 2 months ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• Huawei / Huawei_CCA_QEMU
  ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki
  ☆28Updated 2 years ago
• yonsei-sslab / asgard
  The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…
  ☆14Updated 2 months ago
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 4 years ago
• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Updated 4 years ago
• adilahmad17 / Veil
  ☆10Updated last year
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated last year
• suncongxd / ReCFA
  Resillent Control-Flow Attestation
  ☆12Updated 4 years ago
• PKU-ASAL / PKUWA
  ☆13Updated 4 months ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• vahldiek / erim
  ☆15Updated 2 years ago
• comet-cc / GuaranTEE
  ☆12Updated last year
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 6 years ago
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆16Updated 8 years ago
• DependableSystemsLab / pinfi
  PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:
  ☆18Updated 7 years ago
• isec-tugraz / Donky
  ☆15Updated 4 years ago
• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• Smilencelsy / Control-Flow-Integrity
  Sth in Control-Flow Integrity
  ☆20Updated 6 years ago
• FPSG-UIUC / Pandora
  Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data
  ☆20Updated 3 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆23Updated 6 years ago
• Huawei / Huawei_CCA_RMM
  Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki
  ☆21Updated 2 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆25Updated last year
• HexHive / specrop
  Code repository for experiments in SpecROP paper
  ☆13Updated 4 years ago
• zhangxin00 / thermalscope
  Proof-of-concept implementation for the paper "ThermalScope: A Practical Interrupt Side Channel Attack Based On Thermal Event Interrupts"…
  ☆13Updated last year
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆21Updated 8 years ago