This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.
☆24Jan 17, 2024Updated 2 years ago
Alternatives and similar repositories for Pensieve
Users that are interested in Pensieve are comparing it to the libraries listed below
Sorting:
- ☆25Mar 1, 2023Updated 2 years ago
- Simulator code of the paper "Dissecting and Modeling the Architecture of Modern GPU Cores"☆64Oct 15, 2025Updated 4 months ago
- Automatic detection of speculative information flows☆75Jul 14, 2021Updated 4 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆48Aug 12, 2022Updated 3 years ago
- ☆19Jan 28, 2025Updated last year
- (elastic) cuckoo hashing☆16Jun 20, 2020Updated 5 years ago
- M1 bare metal project in Rust☆31Sep 1, 2022Updated 3 years ago
- GARDENIA: Graph Analytics Repository for Designing Efficient Next-generation Accelerators☆34Apr 3, 2022Updated 3 years ago
- The artifact for SecSMT paper -- Usenix Security 2022☆31Oct 4, 2022Updated 3 years ago
- MESIF cache coherency protocol for the GEM5 simulator☆15Jun 2, 2016Updated 9 years ago
- ☆13Jun 22, 2019Updated 6 years ago
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Sep 1, 2022Updated 3 years ago
- A low-overhead tool to periodically collect system-wide hardware performance counters on Intel64 systems.☆32Aug 2, 2022Updated 3 years ago
- ☆14Feb 18, 2021Updated 5 years ago
- ☆16Mar 18, 2025Updated 11 months ago
- ☆34Dec 14, 2025Updated 2 months ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Feb 1, 2025Updated last year
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆38Sep 6, 2022Updated 3 years ago
- Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)☆80Nov 10, 2025Updated 3 months ago
- Repository of the paper "Reproducing Spectre Attack with gem5, How To Do It Right?"☆18Jul 27, 2023Updated 2 years ago
- matrix-coprocessor for RISC-V☆30Updated this week
- This upload contains the artifacts for the paper "SLAP: Data Speculation Attacks via Load Address Prediction on Apple Silicon", to appear…☆22Jan 26, 2025Updated last year
- Student Starter Code for Secure Hardware Design at MIT☆89Jan 30, 2026Updated last month
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Feb 18, 2021Updated 5 years ago
- ☆22Nov 3, 2025Updated 3 months ago
- ☆24Apr 10, 2022Updated 3 years ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆77Nov 12, 2019Updated 6 years ago
- Official repository of the Arm Research Starter Kit on System Modeling using gem5☆118Jun 13, 2025Updated 8 months ago
- Synced with SGX101 gitbook.☆31Dec 7, 2023Updated 2 years ago
- Patch your macOS kernel to enable support for the high-resolution timers on M1☆38May 8, 2025Updated 9 months ago
- ☆13Jan 28, 2026Updated last month
- Luthier, a GPU binary instrumentation tool for AMD GPUs☆27Feb 21, 2026Updated last week
- DRAM Bender is the first open source DRAM testing infrastructure that can be used to easily and comprehensively test state-of-the-art HBM…☆110Aug 10, 2025Updated 6 months ago
- ☆20Sep 11, 2025Updated 5 months ago
- A tool for checking the contract satisfaction for hardware designs☆12Nov 4, 2025Updated 3 months ago
- A C++ PMU and/or PDC Stream Simulator for IEEE C37.118.2☆12May 21, 2019Updated 6 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆14Oct 16, 2025Updated 4 months ago
- (SIGIR 25) Repo for "Review-driven Personalized Preference Reasoning with Large Language Models for Recommendation"☆10Jan 18, 2025Updated last year
- ☆12Apr 15, 2025Updated 10 months ago