Seminario virtual | Ataques Spectre y Defensas
Actividad organizada desde FAMAF sobre ciencia de datos e inteligencia artificial
26 de mayo 2021 - https://meet.google.com/qeh-kntz-som
Fecha: 26 de mayo de 2021 - 11 hs.
Título: Ataques Spectre y Defensas
Expositora: Tamara Rezk (INRIA Sophia Antipolis-Méditerranée)
Meet: vínculo
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 procesadoresmodernos 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.