northox / ov-secure-kernelLinks
Trusted Execution Environment - Secure kernel leveraging ARM's TrustZone isolation
☆21Updated 11 years ago
Alternatives and similar repositories for ov-secure-kernel
Users that are interested in ov-secure-kernel are comparing it to the libraries listed below
Sorting:
- Trust Zone Project☆21Updated 10 years ago
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 8 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- prplHypervisor™☆31Updated 7 years ago
- Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.☆80Updated 8 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- Arnold source code☆46Updated 6 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- LLVM Linker for Mobile Computing☆82Updated 9 years ago
- Dynamic instrumentation of the Linux kernel☆40Updated 10 years ago
- OpenSGX☆303Updated 5 years ago
- Simple Driver code for vmlaunch☆160Updated 8 years ago
- Microcode parser for AMD, Intel, and VIA processors☆134Updated 9 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆43Updated 6 years ago
- EbbRT: elastic building block runtime☆75Updated last year
- ☆37Updated 7 years ago
- Emulate a Trusted Execution Environment that is running the GlobalPlaforms Internal API☆45Updated last year
- ☆70Updated 5 years ago
- ikgt manifest☆42Updated 3 years ago
- ARM Trusted Firmware☆14Updated 7 years ago
- ☆32Updated 8 years ago
- File System Access Utilities in Userland☆77Updated 9 years ago
- This repository contains tools to perform modern cache attacks on ARM.☆292Updated 3 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago