northox / ov-secure-kernel
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
- 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
- Making the examples code of "The Definitive Guide to the Xen Hypervisor" work with Xen-4.2 or above☆33Updated 11 years ago
- Experimental setup of "Intel MPX explained"☆27Updated 5 years ago
- TrustZone project with Linux 2.6.35 and U-Boot (i.MX53QSB)☆8Updated 10 years ago
- Emulate a Trusted Execution Environment that is running the GlobalPlaforms Internal API☆46Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- JEFF file format tools☆27Updated 9 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
- NOVA userland☆48Updated 11 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆31Updated 2 months ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- Dynamic instrumentation of the Linux kernel☆40Updated 10 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆129Updated 3 years ago
- ☆23Updated 8 years ago
- ☆29Updated 9 years ago
- ARM Trusted Firmware☆14Updated 7 years ago
- Linux kernel source tree☆37Updated 5 years ago
- ☆12Updated 9 years ago
- ☆52Updated 10 years ago
- Virtio draft specification☆65Updated 11 years ago
- linux-kernel with warpdrive☆15Updated 4 years ago
- ☆14Updated 9 years ago
- A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆27Updated 9 years ago
- ☆19Updated 9 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆242Updated 7 years ago
- An Emulator and SDK for Intel SGX extension☆32Updated 8 years ago
- This sample code demonstrates a password manager utilizing Intel SGX.☆34Updated 8 years ago