Microarchitectural attacks and provable defenses.

Abstract
Modern processors rely on microarchitectural optimizations, such as caches and speculative execution, for performance, but these same features open the door to powerful attacks on cryptographic systems. The standard defense, constant- time programming, is widely used in cryptographic libraries, yet it falls short against threats like Spectre. In this talk, I will show how to enforce constant-time in software, how to extend it to defend against Spectre, and how hardware support can strengthen protection against microarchitectural attacks.

Les supports présentés sont disponibles à l'adresse suivante: https://leslyann-daniel.fr/ressources/slides/2025-09_ENS.pdf