CactiLab/Sherloc-Cortex-M-CFVD external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

CactiLab/Sherloc-Cortex-M-CFVD

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/CactiLab/Sherloc-Cortex-M-CFVD)

Close

CactiLab / Sherloc-Cortex-M-CFVDView on GitHubMore

• External links
• Readme badge

SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems

☆17Feb 21, 2024Updated 2 years ago

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

• CactiLab / BYOTee-Build-Your-Own-TEEs

  View on GitHub
  ☆26Nov 16, 2023Updated 2 years ago
• SplITS-Fuzzer / SplITS

  View on GitHub
  ☆21Sep 25, 2023Updated 2 years ago
• DevendraDevadiga / optee_qemu_armv8a_prebuilt_binaries

  View on GitHub
  Prebuilt OP-TEE 3.15 Binaries for QEMUv8 and Run x-test
  ☆17Aug 21, 2022Updated 3 years ago
• JamesMenetrey / unine-watz

  View on GitHub
  WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.
  ☆32May 23, 2024Updated last year
• WUSTL-CSPL / RT-TEE

  View on GitHub
  ☆29Dec 16, 2022Updated 3 years ago
• nikoonia / gem5v

  View on GitHub
  A Modified gem5 for Simulating Virtualized Systems
  ☆11Mar 1, 2015Updated 11 years ago
• cezane / optee_rsa_example

  View on GitHub
  This is an example of RSA encrypt/decrypt methods running on OP-TEE.
  ☆11Sep 6, 2018Updated 7 years ago
• Alex-Mathai-98 / kGym-Kernel-Playground

  View on GitHub
  Kernel Playground - A playground to run large scale experiments on the Linux Kernel
  ☆17Nov 8, 2025Updated 3 months ago
• mahmoudkanazzal / PromSec

  View on GitHub
  ☆12Dec 22, 2025Updated 2 months ago
• grvcTeam / gauss

  View on GitHub
  GAUSS EU project: Unmanned aerial vehicle Traffic Management (UTM) software development
  ☆14Feb 7, 2022Updated 4 years ago
• control-flow-attestation / c-flat

  View on GitHub
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆45Aug 12, 2016Updated 9 years ago
• tfx2001 / hpm_isp

  View on GitHub
  ISP tool for HPMicro MCUs
  ☆14Nov 6, 2024Updated last year
• dflemstr / direct-executor

  View on GitHub
  ☆10Jan 13, 2020Updated 6 years ago
• wasp-sweden / wara-sw

  View on GitHub
  WASP Research Arena for Software
  ☆12Jun 10, 2022Updated 3 years ago
• PSPReverse / Insecure-Until-Proven-Updated-Analyzing-AMD-SEV-s-Remote-Attestation

  View on GitHub
  ☆14Nov 10, 2019Updated 6 years ago
• OS3Lab / patch-backporting

  View on GitHub
  PORTGPT: Towards Automated Backporting Using Large Language Models(IEEE S&P2026)
  ☆31Feb 6, 2026Updated 3 weeks ago
• Wfzsec / ics_attack_framework

  View on GitHub
  工业控制系统中实时篡改TE传感器与PLC可编程逻辑控制之间的Modbus/TCP通信数据
  ☆13Jun 17, 2019Updated 6 years ago
• MabezDev / idf2svd

  View on GitHub
  ☆14May 15, 2021Updated 4 years ago
• MCUSec / uEmu-real_world_firmware

  View on GitHub
  Real firmware fuzz-tested with uEmu
  ☆13Mar 22, 2023Updated 2 years ago
• XUANTIE-RV / zero_stage_boot

  View on GitHub
  ☆18Feb 11, 2026Updated 3 weeks ago
• shiyonglu / SecDATAVIEW

  View on GitHub
  A Secure Version of DATAVIEW using SGX techniques.
  ☆10Jul 6, 2021Updated 4 years ago
• branan / teensy40

  View on GitHub
  Rust library for the i.MX RT1062 chip cound in the Teensy 4.0
  ☆10Sep 10, 2019Updated 6 years ago
• privruler / PrivRuler-Public

  View on GitHub
  ☆11Mar 5, 2023Updated 3 years ago
• rv32m1-rust / rv32m1_ri5cy-hal

  View on GitHub
  HAL for the RI5CY core of RV32M1 heterogeneous (two ARM and two RISC-V) quad-core SoC.
  ☆10Sep 28, 2020Updated 5 years ago
• intel-staging / td-partitioning-svsm

  View on GitHub
  ☆14Nov 11, 2025Updated 3 months ago
• SafeKeeper / safekeeper-chrome

  View on GitHub
  The Chrome plugin for SafeKeeper password protection service.
  ☆12Apr 25, 2018Updated 7 years ago
• rcore-os / embedded-term

  View on GitHub
  The virtual console embedded in rCore kernel.
  ☆11May 6, 2025Updated 9 months ago
• rustsbi / plic

  View on GitHub
  Rust support for RISC-V Platform-Level Interrupt Controller
  ☆10Oct 13, 2022Updated 3 years ago
• rustsbi / rustsbi-tutorial

  View on GitHub
  rustsbi 开发教程
  ☆42Mar 6, 2023Updated 2 years ago
• yuqiChen94 / Swat_Simulator

  View on GitHub
  ☆14Dec 27, 2020Updated 5 years ago
• luojia65 / example-gd32vf103

  View on GitHub
  Test GD32VF103 microcontroller using hal crate https://github.com/luojia65/gd32vf103-hal
  ☆13Sep 18, 2019Updated 6 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot-Neo

  View on GitHub
  在 Telegram 上快速模仿迟先生卖弱。
  ☆16Feb 16, 2026Updated 2 weeks ago
• rustsbi / prototyper

  View on GitHub
  [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper
  ☆12Feb 16, 2025Updated last year
• nbdd0121 / muntjac-soc

  View on GitHub
  SoC for muntjac
  ☆13Jun 18, 2025Updated 8 months ago
• chyyuu / zCore-Design

  View on GitHub
  ☆13Jul 26, 2021Updated 4 years ago
• 78ij / HUST-Electronics-Engineer-Practical-Training

  View on GitHub
  ☆10Oct 22, 2018Updated 7 years ago
• BOB4Drone / Drone_Hacking_Guideline_ENG

  View on GitHub
  This project was conducted by the 10th KITRI BoB (Best of the Best), and recorded what we have done for vulnerability analysis of drones.
  ☆11Dec 30, 2021Updated 4 years ago
• ZerQAQ / Zroutinue

  View on GitHub
  a coroutinue lib writen by pure C
  ☆10Feb 24, 2021Updated 5 years ago
• TritonDataCenter / ipxe

  View on GitHub
  ☆16Feb 25, 2026Updated last week