Pensieve: A Modular Approach for Security Evaluation of Microarchitectural Designs

This is the artifact of our paper "Pensieve: A Modular Approach for Security Evaluation of Microarchitectural Designs". Our artifact is the implementation of the Pensieve framework, which is designed for the security evaluation of early-stage microarchitectural defenses against speculative execution attacks. In the implementation, we provide three defense uarch models (Delay-on-Miss, Invisible Speculation, and GhostMinion) that we studied in the paper. These models can be used to concretely understand the modeling discipline we proposed in the paper and to reproduce two attacks as well as the performance evaluation. Furthermore, this implementation of Pensieve can be extended by the community to study various other defenses