Microarchitectural control flow integrity (๐CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.
โ16Feb 12, 2026Updated last month
Alternatives and similar repositories for mucfi
Users that are interested in mucfi are comparing it to the libraries listed below
Sorting:
- โ28Mar 31, 2025Updated 11 months ago
- A fork of Yosys that integrates the CellIFT passโ13Jul 23, 2025Updated 7 months ago
- All the tools you need to reproduce the CellIFT paper experimentsโ24Feb 11, 2025Updated last year
- โ13Feb 14, 2026Updated last month
- The purpose of the repo is to support CORE-V Wally architectural verificationโ17Nov 11, 2025Updated 4 months ago
- SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs (ICCAD 2023)โ23Dec 5, 2024Updated last year
- Test suite containing a reproduction of all major transient-execution attacks in RISC-V and CHERI-RISC-V assemblyโ17Jun 7, 2021Updated 4 years ago
- โ25Mar 1, 2023Updated 3 years ago
- A CPU fuzzer designed for diverse test case generation and execution.โ101Jan 8, 2026Updated 2 months ago
- โ23Mar 5, 2026Updated 2 weeks ago
- Hardcaml Verification Toolsโ15Jan 15, 2026Updated 2 months ago
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)โ139Aug 30, 2024Updated last year
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"โ37Oct 17, 2025Updated 5 months ago
- Software artifacts for "UC-Check: Characterizing Micro-operation Caches in x86 Processors and Implications in Security and Performance" (โฆโ10Dec 27, 2021Updated 4 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)โ39Mar 25, 2025Updated 11 months ago
- SystemVerilog overhaul of ESP L2 and LLC caches with directory based protocolโ18Feb 27, 2025Updated last year
- Fuzz everything! Now let's fuzz chip!โ35Feb 11, 2026Updated last month
- โ32Jan 21, 2026Updated 2 months ago
- MICRO 2024 Evaluation Artifact for FuseMaxโ16Aug 26, 2024Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at onceโ13Mar 27, 2025Updated 11 months ago
- Linux on RISC-V on FPGA (LOROF): RV64GC Sv39 Quad-Core Superscalar Out-of-Order Virtual Memory CPUโ15Feb 23, 2026Updated 3 weeks ago
- Project Repo for the Simulator Independent Coverage Researchโ21Feb 28, 2023Updated 3 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations madeโฆโ99Mar 29, 2024Updated last year
- A tool for checking the contract satisfaction for hardware designsโ12Nov 4, 2025Updated 4 months ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilitiโฆโ24Mar 1, 2026Updated 3 weeks ago
- YosysHQ SVA AXI Propertiesโ46Feb 7, 2023Updated 3 years ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.โ54Jul 17, 2023Updated 2 years ago
- Ansible playbooks that will without any user interaction provision Check Point Security Management server (SM) or Multi-Domain Managementโฆโ11Jan 28, 2022Updated 4 years ago
- โ22Dec 2, 2022Updated 3 years ago
- ddos-checker is a tool used to perform a test on a website from a DDOS attack to find security gaps in a website.โ13Oct 16, 2025Updated 5 months ago
- A Gradle plugin for checking whether an .apk or an .aar contains OpenSSL versions with known vulnerabilitiesโ12Nov 28, 2016Updated 9 years ago
- IronWASP module to test security of SSL services. Ported from http://www.bolet.org/TestSSLServer/โ12Sep 2, 2013Updated 12 years ago
- Hardware Formal Verificationโ17Aug 10, 2020Updated 5 years ago
- Check for HTTP Security Headersโ14Aug 17, 2015Updated 10 years ago
- Looks up details on a public IPV4 address against ip-info and blacklist-search sites. Providing a reputation check.โ11Oct 16, 2021Updated 4 years ago
- Testing processors with Random Instruction Generationโ57Jan 13, 2026Updated 2 months ago
- Checkpoint 401 Forward Auth Security Server.โ17Jun 13, 2024Updated last year
- UVM components for DSP tasks (MODulation/DEModulation)โ14Mar 2, 2022Updated 4 years ago
- Check Safety of SSH Public Keysโ12Oct 8, 2022Updated 3 years ago