Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)
☆16Nov 10, 2020Updated 5 years ago
Alternatives and similar repositories for OAT-Project
Users that are interested in OAT-Project are comparing it to the libraries listed below
Sorting:
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆44Aug 12, 2016Updated 9 years ago
- ☆29Dec 16, 2022Updated 3 years ago
- The server part of the SafeKeeper project.☆18Jul 12, 2018Updated 7 years ago
- ☆21Sep 7, 2022Updated 3 years ago
- Resillent Control-Flow Attestation☆13Sep 30, 2021Updated 4 years ago
- ☆11Apr 7, 2022Updated 3 years ago
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆32May 23, 2024Updated last year
- On the TOCTOU Problem in Remote Attestation☆15Jun 4, 2024Updated last year
- ☆41Feb 26, 2023Updated 3 years ago
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆17Feb 21, 2024Updated 2 years ago
- ☆22Jan 14, 2025Updated last year
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆36Apr 5, 2025Updated 10 months ago
- ☆26Nov 16, 2023Updated 2 years ago
- Raspbian with OP-TEE support.☆30Mar 17, 2019Updated 6 years ago
- Program dependence graph in LLVM☆42Aug 4, 2025Updated 6 months ago
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆71Mar 30, 2023Updated 2 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Jan 10, 2022Updated 4 years ago
- ⛔️ DEPRECATED☆38Mar 22, 2021Updated 4 years ago
- -☆11Dec 18, 2022Updated 3 years ago
- The Chrome plugin for SafeKeeper password protection service.☆12Apr 25, 2018Updated 7 years ago
- WASP Research Arena for Software☆12Jun 10, 2022Updated 3 years ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- 工业控制系统中实时篡改TE传感器与PLC可编程逻辑控制之间的Modbus/TCP通信数据☆13Jun 17, 2019Updated 6 years ago
- Exploring Methods of Protecting Confidential Erlang Workloads with Intel SGX☆12Jun 19, 2020Updated 5 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- CASLab-GPU simulator in SystemC☆11May 29, 2020Updated 5 years ago
- ☆14Nov 10, 2019Updated 6 years ago
- FirmSec Dataset☆46Oct 15, 2025Updated 4 months ago
- ☆15Oct 21, 2021Updated 4 years ago
- 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
- Simulating Industrial IoT with IGSS SCADA and Rasberry Pi, Attacking and fixing potential vulnerabilities☆13Jun 7, 2020Updated 5 years ago
- Generate Camouflage Images by Pytorch☆14Jun 29, 2023Updated 2 years ago
- ☆12Feb 22, 2021Updated 5 years ago
- ☆11Mar 20, 2017Updated 8 years ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- ☆14Dec 27, 2020Updated 5 years ago
- Identify subjects from CCTV footages even when there are only limited number of photographs available for the suspected individuals. The …☆11Aug 13, 2022Updated 3 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆48Apr 6, 2017Updated 8 years ago