sycuricon / MorFuzzLinks
Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
☆29Updated 2 months ago
Alternatives and similar repositories for MorFuzz
Users that are interested in MorFuzz are comparing it to the libraries listed below
Sorting:
- ☆88Updated last year
- 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)☆57Updated last month
- A tool for detecting Spectre vulnerabilities through fuzzing☆41Updated 3 years ago
- ☆85Updated 2 years ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆25Updated 2 months ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- SyzTrust's main repository. Start here to install.☆17Updated last year
- Simple passes for CFG and DFG analysis☆44Updated 6 years ago
- ☆22Updated 4 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆69Updated 3 months ago
- ☆25Updated 2 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆21Updated 5 years ago
- ViDeZZo source code.☆36Updated 3 months ago
- Pre-Silicon Hardware Fuzzing Toolkit☆57Updated 3 weeks ago
- ☆24Updated 4 years ago
- ☆13Updated last year
- Medusa Repository: Transynther tool and Medusa Attack☆21Updated 4 years ago
- ☆61Updated 3 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Fuzz everything! Now let's fuzz chip!☆14Updated 2 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆61Updated 7 months ago
- ☆17Updated last year
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated last year
- llvm Data Flow Graph dump☆37Updated 4 years ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆22Updated 4 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Updated 2 years ago
- Microarchitectural exploitation and other hardware attacks.☆92Updated last year