Alternatives and similar repositories for Sherloc-Cortex-M-CFVD:

Users that are interested in Sherloc-Cortex-M-CFVD are comparing it to the libraries listed below

• RiS3-Lab / OAT-Project
  Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
  ☆15Updated 4 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• WUSTL-CSPL / RT-TEE
  ☆26Updated 2 years ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆21Updated last year
• sssecret2019 / mytee
  ☆34Updated 2 years ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 3 years ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆20Updated last year
• MCUSec / SEmu
  A Specification-Guided Approach for Firmware Emulation
  ☆41Updated this week
• OSUSecLab / SymGen
  Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)
  ☆17Updated last month
• Compass-All / SHELTER
  ☆33Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆93Updated last year
• benhaz1024 / raspbian-tee
  Raspbian with OP-TEE support.
  ☆26Updated 6 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆23Updated 3 years ago
• sslab-gatech / SNAP
  ☆13Updated 3 years ago
• StanPlatinum / Deflection
  Practical and Efficient in-TEE Verification of Privacy Compliance
  ☆46Updated 3 months ago
• UzL-ITS / obelix
  Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.
  ☆10Updated 11 months ago
• CactiLab / ret2ns-Cortex-M-TrustZone
  This repo demonstrates the Return-to-Non-Secure (ret2ns) vulnerability on ARM Cortex-M TrustZone. It contains the attack and defense demo…
  ☆31Updated last year
• Icegrave0391 / Palantir
  PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22
  ☆21Updated 5 months ago
• Compass-All / CCS22-StrongBox
  ☆31Updated 2 years ago
• PSU-Security-Universe / countdown
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆20Updated 6 months ago
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆14Updated 8 months ago
• purseclab / PGFuzz
  Policy-Guided Fuzzing for Robotic Vehicles
  ☆33Updated last year
• greenlsi / reload_refresh
  Reload+Refresh PoC
  ☆14Updated 5 years ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆25Updated 2 years ago
• vul337 / StateFuzz
  StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing
  ☆93Updated last year
• NESA-Lab / FirmSecDataset
  FirmSec Dataset
  ☆34Updated 2 years ago
• 0xADE1A1DE / Mastik
  ☆104Updated 2 years ago
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆13Updated 6 months ago
• compsec-snu / petal
  PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)
  ☆10Updated 5 months ago
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆69Updated last year