kesl / khypervisor
☆28Updated 8 years ago
Alternatives and similar repositories for khypervisor:
Users that are interested in khypervisor are comparing it to the libraries listed below
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- Secure EFI Loader designed to authenticate the non-PE files☆48Updated 2 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Unit tests for the kernel virtual machine (KVM)☆14Updated 4 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- deprecated☆46Updated 5 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- ☆70Updated 4 years ago
- Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…☆36Updated 8 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆65Updated 11 months ago
- Sample code for ARM hardware virtualization☆10Updated 9 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- libs2e.so☆20Updated 4 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆242Updated 7 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆24Updated 2 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Support UEFI load☆10Updated 9 years ago
- ☆55Updated 2 years ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆18Updated 5 years ago
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- VMI on BitVisor to detect hidden rootkits.☆26Updated 8 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated 10 months ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago
- Hacks and experiments for the linux kernel VM subsystem.☆21Updated 2 years ago