Next SSL (Loria Security Seminar) will take place on Tuesday, December 9th at 1pm in room A008. We will welcome Lesly-Ann Daniel (EURECOM). Hardware-Software Co-Designs for Microarchitectural Security Microarchitectural optimizations, such as caches and speculative out-of-order execution, are essential for achieving high system performance. However, these same mechanisms also open the door to attacks that can undermine software-enforced security policies. The current gold standard for defending against such attacks is the constant-time programming discipline, which prohibits secret-dependent control flow and…