Pensieve: Microarchitectural Modeling for Security Evaluation
Yuheng Yang, Thomas Bourgeat, Stella Lau, Mengjia Yan · 2023
Traditional modeling approaches in computer architecture aim to obtain an accurate estimation of performance, area, and energy of a processor design. With the advent of speculative execution attacks and their security concerns, these traditional modeling techniques fall short when used for security evaluation of defenses against these attacks.