Alternatives and similar repositories for FortifyPatch

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

• nkicsl / SmartZone
  ☆10Updated 2 years ago
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆21Updated 4 months ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• 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 last month
• 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
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 7 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• enochii / simple-pointer-analysis
  Pointer analysis prototype (currently including anderson, steensgard).
  ☆16Updated 4 years ago
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 4 years ago
• comet-cc / GuaranTEE
  ☆13Updated last year
• HexHive / specrop
  Code repository for experiments in SpecROP paper
  ☆13Updated 4 years ago
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆16Updated 8 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 3 months ago
• FPSG-UIUC / Pandora
  Opening Pandora's Box: A Systematic Study of New Ways Microarchitecture can Leak Private Data
  ☆20Updated 3 years ago
• RUB-SysSec / adversarial-papers
  ☆16Updated 2 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆26Updated last year
• securesystemslab / PKRU-Safe
  ☆20Updated 3 years ago
• caijiqhx / Notes
  caijiqhx notes
  ☆17Updated last year
• veraison / rust-ccatoken
  Implementation of the Arm CCA attestation token in Rust
  ☆13Updated 4 months ago
• iamywang / bp-security-framework
  Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.
  ☆11Updated 2 months ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 6 years ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 6 years ago
• cispa / ShadowLoad
  ☆12Updated 9 months 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
• 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
• vahldiek / erim
  ☆16Updated 2 years ago
• isec-tugraz / Donky
  ☆15Updated 4 years ago
• suncongxd / ReCFA
  Resillent Control-Flow Attestation
  ☆13Updated 4 years ago
• PKU-ASAL / PKUWA
  ☆13Updated 5 months ago