sycuricon / MorFuzz
Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
☆25Updated last year
Alternatives and similar repositories for MorFuzz:
Users that are interested in MorFuzz are comparing it to the libraries listed below
- ☆80Updated 9 months ago
- This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).☆26Updated 4 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆56Updated 3 years ago
- ☆23Updated 2 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆37Updated 3 years ago
- ☆22Updated 4 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- ☆80Updated 2 years ago
- SyzTrust's main repository. Start here to install.☆15Updated last year
- Medusa Repository: Transynther tool and Medusa Attack☆21Updated 4 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated 2 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆54Updated last month
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 3 months ago
- Medusa Repository: Transynther tool and Medusa Attack☆20Updated 4 years ago
- ☆15Updated 3 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆60Updated 7 months ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated 5 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 4 years ago
- Simple passes for CFG and DFG analysis☆42Updated 5 years ago
- ViDeZZo source code.☆34Updated 2 months ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 5 years ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆20Updated 3 years ago
- ☆16Updated last year
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 10 months ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆35Updated 2 years ago
- ☆14Updated 2 years ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Updated 2 years ago
- ☆25Updated 2 years ago