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:
- Formal verification of SecVisor, a secure hypervisor☆12Updated 12 years ago
- Trust Zone Project☆21Updated 10 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
- Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.☆80Updated 8 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- OpenSGX☆303Updated 5 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)☆8Updated 10 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- Emulate a Trusted Execution Environment that is running the GlobalPlaforms Internal API☆45Updated last year
- PTLsim and QEMU based Computer Architecture Research Simulator☆129Updated 3 years ago
- Microcode parser for AMD, Intel, and VIA processors☆134Updated 9 years ago
- Arnold source code☆46Updated 6 years ago
- LLVM Linker for Mobile Computing☆82Updated 9 years ago
- ikgt manifest☆42Updated 2 years ago
- HiStar operating system (not under active development)☆28Updated 7 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Overall project configuration and documentation☆82Updated 3 years ago
- This repository contains examples of DRAMA reverse-engineering and side-channel attacks☆184Updated 7 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- Spectre attack against SGX enclave☆236Updated 7 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆223Updated 3 years ago
- ☆14Updated 9 years ago
- Notes on various topics I'm interested in☆160Updated 9 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- Minimal RISC Extensions for Isolated Execution☆53Updated 6 years ago