Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
☆45Aug 12, 2016Updated 9 years ago
Alternatives and similar repositories for c-flat
Users that are interested in c-flat are comparing it to the libraries listed below
Sorting:
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆16Nov 10, 2020Updated 5 years ago
- Resillent Control-Flow Attestation☆13Sep 30, 2021Updated 4 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- The server part of the SafeKeeper project.☆18Jul 12, 2018Updated 7 years ago
- Raspbian with OP-TEE support.☆30Mar 17, 2019Updated 7 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Jan 10, 2022Updated 4 years ago
- Open sourced implementation of a prototype for Hyperledger Fabric chaincode execution with OP-TEE. This work is part of the master thesis…☆14Sep 10, 2019Updated 6 years ago
- Sth in Control-Flow Integrity☆20Dec 25, 2018Updated 7 years ago
- Makefiles to use OP-TEE on various platforms☆129Jan 16, 2026Updated 2 months ago
- ARM rop chain gadget searcher☆38Oct 20, 2017Updated 8 years ago
- Vehicular component authentication and software isolation☆13Nov 29, 2021Updated 4 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆20Jun 26, 2020Updated 5 years ago
- Extracts and visualizes control flow graphs for assembly code.☆13Mar 31, 2019Updated 6 years ago
- A blanket execution/min hash semantic hash tool for binary function identification☆18Apr 22, 2016Updated 9 years ago
- ☆29Dec 16, 2022Updated 3 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆28Aug 10, 2020Updated 5 years ago
- ☆23Nov 16, 2023Updated 2 years ago
- hook detector using emulation and comparing static with dynamic outputs☆17Aug 11, 2023Updated 2 years ago
- ☆35Dec 2, 2018Updated 7 years ago
- ☆14Dec 26, 2022Updated 3 years ago
- ☆20Mar 13, 2018Updated 8 years ago
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆24May 19, 2025Updated 10 months ago
- ⛔️ DEPRECATED☆38Mar 22, 2021Updated 5 years ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- Tutorial to write qemu plugins☆34Jun 22, 2017Updated 8 years ago
- Unofficial mirror of☆11Feb 2, 2018Updated 8 years ago
- ☆42Feb 26, 2023Updated 3 years ago
- Emulate a Trusted Execution Environment that is running the GlobalPlaforms Internal API☆47Nov 7, 2023Updated 2 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆108Jan 27, 2026Updated last month
- Apple PCC research☆17Mar 14, 2025Updated last year
- ☆11Sep 23, 2025Updated 6 months ago
- ☆12Feb 22, 2021Updated 5 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 10 years ago
- ☆15Oct 20, 2019Updated 6 years ago
- ☆21Sep 7, 2022Updated 3 years ago
- ☆31Jun 7, 2023Updated 2 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Jul 21, 2019Updated 6 years ago
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago