IMDEA Software

Iniciativa IMDEA

Inicio > Eventos > Charlas Invitadas > 2022 > Practical Foundations for Software Spectre Defenses
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Sunjay Cauligi

viernes 6 de mayo de 2022

12:00am Meeting room 202 (Hill View), level 2

Sunjay Cauligi, Post-doctoral Researcher, Max Planck Institute

Practical Foundations for Software Spectre Defenses


Spectre vulnerabilities violate our fundamental assumptions about programming abstractions, allowing attackers to steal sensitive data despite previously state-of-the-art countermeasures. To defend against Spectre, developers of verification tools and compiler-based mitigations are forced to reason about low-level hardware details such as speculative execution. I will explain the tradeoffs inherent in formal frameworks for Spectre, the complexity of defense tools, and the resulting security guarantees. I will also propose practical choices for developers of analysis and mitigation tools and identify interesting open problems in this area for future work.