kianenigma / meltdown-spectreLinks
Proof of Concept implementation + Brief Tutorial of the Meltdown and Spectre attacks [+ Flush/Realod]
☆15Updated 6 years ago
Alternatives and similar repositories for meltdown-spectre
Users that are interested in meltdown-spectre are comparing it to the libraries listed below
Sorting:
- Tiny Code Generator Library☆46Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- A tiny KVM hypervisor written in Python☆66Updated 6 years ago
- ☆29Updated 9 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 10 years ago
- Fork of KVM with Virtual Machine Introspection patches☆36Updated last year
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- Fork of QEMU with Virtual Machine Introspection patches☆13Updated last year
- x86 Microkernel☆14Updated 5 years ago
- A versatile and programmable static binary instrumentation tool☆15Updated 7 years ago
- Re-randomizing the memory layout of a process at runtime☆21Updated 9 years ago
- LibVMI in MiniOS☆12Updated 4 years ago
- A PoC implementation of the meltdown attack described in https://meltdownattack.com/meltdown.pdf☆134Updated 7 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Store and read traces in Protobuf☆20Updated last year
- Benchmark to test different stop the exploit mitigations☆18Updated 6 years ago
- A quick PoC to try out the "meltdown" timing attack.☆154Updated 7 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- uber eXtensible Micro-Hypervisor Framework☆31Updated 11 months ago
- Securing System Logs With Intel SGX☆14Updated 8 years ago
- ☆12Updated 4 years ago
- Dynamic instrumentation of the Linux kernel☆40Updated 10 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆22Updated 5 years ago
- EFI Byte Code Virtual Machine in userspace☆79Updated 2 years ago
- Traditional Mitigation in GCC to defend Memory Corruption Vulnerability☆20Updated 3 years ago
- ☆36Updated 4 years ago