El alumno Jorge Barredo Ferreira obtuvo la calificación SOBRESALIENTE CUM LAUDE con mención DOCTORADO INTERNACIONAL
El alumno Jorge Barredo Ferreira obtuvo la calificación SOBRESALIENTE CUM LAUDE con mención DOCTORADO INTERNACIONAL
El alumno Jorge Barredo Ferreira obtuvo la calificación SOBRESALIENTE CUM LAUDE con mención DOCTORADO INTERNACIONAL
- Título de tesis: Novel Techniques for Embedded Fuzzing with Side-Channel Analysis and Seed Optimization
Tribunal:
- Presidencia: María Teresa Gómez López (Universidad de Sevilla)
- Vocalía: Pablo Picazo Sánchez (Halmstad University)
- Secretaría: Iñaki Garitano Garitano (Mondragon Unibertsitatea)
Resumen:
La tesis aborda los retos de evaluar la seguridad del software en dispositivos embebidos e IoT, donde la falta de visibilidad interna, la instrumentación limitada y las restricciones temporales y energéticas reducen la eficacia del fuzzing clásico. Se proponen dos contribuciones principales. Primero, el uso de canales laterales físicos —trazas electromagnéticas y de consumo de potencia— como oráculos de ejecución para detectar divergencias, inferir cobertura implícita y priorizar entradas, sin modificar firmware ni plataforma. Además, se estudian métodos para mapear patrones de señal a subsistemas de hardware, mejorando la localización de fallos. Segundo, se evalúa el uso de modelos de lenguaje de gran tamaño para sintetizar semillas estructuradas bajo presupuestos de bajo caudal, incrementando la validez semántica y la diversidad. En campañas repetidas, el enfoque combinado aumenta rutas alcanzadas, reduce tiempo a fallos únicos y supera mesetas de exploración.