GitHub repository: CSAIL-Arch-Sec/Pensieve
Primary language: Racket
Description: This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.