kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
☆23Aug 30, 2019Updated 7 years ago
Alternatives and similar repositories for kmvx
Users that are interested in kmvx are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆29Sep 5, 2025Updated last year
- K-Miner☆75Jun 5, 2019Updated 7 years ago
- This is a hacky tool for building a BBL+Linux+InitRAMFS image for RISC-V.☆10Nov 25, 2018Updated 7 years ago
- Multi-variant execution (MVX) using hardware-assisted process virtualization (with Dune)☆18Aug 12, 2016Updated 10 years ago
- simple PE parser☆12Mar 14, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆26Oct 4, 2018Updated 8 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Feb 19, 2020Updated 6 years ago
- ☆18Feb 4, 2016Updated 10 years ago
- ☆10Jan 22, 2026Updated 9 months ago
- Open-source release for MemSentry (EuroSys'17)☆47May 5, 2021Updated 5 years ago
- Linux network namespace sysctl safety verifier.☆12Jun 20, 2021Updated 5 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆44Nov 5, 2021Updated 4 years ago
- ☆22Jun 7, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance Without Consumer Code☆23Jun 9, 2026Updated 4 months ago
- Code examples and paper for the Spoiler-Attack☆18May 28, 2019Updated 7 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆65Sep 4, 2019Updated 7 years ago
- Sync the time on your PineTime using Chrome over Bluetooth LE☆12Mar 31, 2022Updated 4 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 7 years ago
- QEMU with support for QDSP6 user mode emulation☆34Oct 4, 2019Updated 7 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆40Nov 14, 2024Updated last year
- reversed emet tool☆24Oct 14, 2012Updated 14 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Hodor-PKU☆27Sep 14, 2021Updated 5 years ago
- EcoFuzz-An adaptive energy-saving greybox fuzzer☆53Apr 30, 2020Updated 6 years ago
- The first GANs-based omics-to-omics translation framework☆15Sep 5, 2023Updated 3 years ago
- A framework for the automatic generation of Intelligent-Interaction honeypots using OpenWrt-based firmware.☆10Jun 11, 2022Updated 4 years ago
- ☆16Updated this week
- ☆22Jul 22, 2026Updated 3 months ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆82Dec 30, 2021Updated 4 years ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆29Aug 10, 2020Updated 6 years ago
- kCFI Documentation☆14Apr 18, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Interactive Virtual Machine Introspection☆18Sep 27, 2017Updated 9 years ago
- Windows CIFS/SMB packet generation and SMB networking library☆12Aug 25, 2020Updated 6 years ago
- ☆13Apr 26, 2023Updated 3 years ago
- ☆20Dec 18, 2018Updated 7 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 5 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆57May 24, 2022Updated 4 years ago