Detecting speculative leaks with compositional semantics

Xaver Fabian, Marco Guarnieri, Boris Köpf +4

Speculative execution enhances processor performance by predicting intermediate results and executing instructions based on these predictions. However, incorrect predictions can le…