teesec-research / optee_examples
OP-TEE Trusted Applications vulnerable to memory corruption bugs.
☆14Updated 4 years ago
Alternatives and similar repositories for optee_examples:
Users that are interested in optee_examples are comparing it to the libraries listed below
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated 2 years ago
- Automatic Compartments for Embedded Systems☆24Updated 4 years ago
- ☆17Updated 5 years ago
- ☆12Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆35Updated 3 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆32Updated 4 years ago
- ☆53Updated 5 years ago
- ☆52Updated 9 months ago
- ☆46Updated 3 years ago
- This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.☆134Updated 3 years ago
- ☆64Updated 5 years ago
- K-Miner☆75Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆33Updated last year
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- ☆70Updated 5 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆43Updated last year
- Directed fuzzing framework for gVisor.☆23Updated last year
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆63Updated 5 years ago
- ☆25Updated 2 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆60Updated 2 months ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆81Updated last week
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆75Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆96Updated 5 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 8 months ago
- ☆22Updated 5 years ago