Trustonic / trustonic-tee-driver
Android driver for the Trusted Execution Environment <t-base
☆12Updated 9 years ago
Alternatives and similar repositories for trustonic-tee-driver:
Users that are interested in trustonic-tee-driver are comparing it to the libraries listed below
- ☆32Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆14Updated 4 years ago
- trustonic tbase research☆31Updated 7 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 6 years ago
- ☆52Updated 5 years ago
- Security benchmarks for the Internet of Things☆23Updated 4 years ago
- Android user space components for the Trustonic Trusted Execution Environment☆34Updated 9 years ago
- FoRTE-Research's fuzzing benchmarks☆56Updated 5 years ago
- Automatic Compartments for Embedded Systems☆24Updated 4 years ago
- ☆12Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆40Updated 4 years ago
- ☆16Updated 6 years ago
- ☆19Updated 6 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- ☆55Updated 2 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- ☆19Updated 6 years ago
- android kernel pwn☆19Updated 5 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- ☆96Updated 5 years ago
- Run android with S2E☆32Updated 10 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- ☆70Updated 5 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆82Updated 10 months ago