northox / ov-secure-kernel
Trusted Execution Environment - Secure kernel leveraging ARM's TrustZone isolation
☆20Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for ov-secure-kernel
- Formal verification of SecVisor, a secure hypervisor☆13Updated 11 years ago
- Trust Zone Project☆21Updated 9 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆83Updated 10 years ago
- Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above☆33Updated 10 years ago
- ☆30Updated 7 years ago
- Library wrapper and system-level tracing utilities☆44Updated 7 years ago
- Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.☆81Updated 7 years ago
- ☆20Updated 2 years ago
- JEFF file format tools☆27Updated 8 years ago
- Troopers Conference Supporting Materials☆12Updated 9 years ago
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆31Updated 5 years ago
- Some scripts to create a reproducible build for grsecurity☆30Updated 7 years ago
- ☆52Updated 10 years ago
- ☆11Updated 8 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆214Updated 2 years ago
- TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)☆8Updated 9 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- This repository contains examples of Flush+Flush cache attacks☆154Updated 3 years ago
- ☆14Updated 9 years ago
- ikgt manifest☆42Updated 2 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 4 years ago
- File System Access Utilities in Userland☆76Updated 8 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆129Updated 2 years ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- ☆22Updated 7 years ago
- A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆26Updated 8 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆39Updated 5 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 7 years ago