Seminario virtual "Ataques Spectre y Defensas"
26 Mayo 2021 - https://meet.google.com/qeh-kntz-som
Actividad organizada desde FAMAF sobre ciencia de datos e inteligencia artificial.
Expositora:
Tamara Rezk (INRIA Sophia Antipolis-Méditerranée)
Resumen:
El año 2018, la revelación de espectros en los procesadores convirtieron a algunos investigadores de seguridad en caza-fantasmas.
Aunque parezca fantasía, estos espectros, llamados ataques Spectre en inglés, son bien reales y pueden causar graves problemas
a la hora de proteger la confidencialidad de la información.
Los espectros son rastros de secretos que pueden dejar los programas al ejecutarse en procesadores modernos con el uso de un mecanismo de hardware conocido como ejecución especulativa.
Los rastros son explotados por los atacantes oportunistas para recuperar los secretos, por ejemplo las claves de criptografía usadas por librerías.
En esta charla, les contaré un poco más en detalle sobre los espectros, algunas defensas, cómo modelizarlos utilizando semántica formal y cómo diseñar métodos para detectarlos (o cazarlos!) en software.