iymagazine.es

Doctorado Internacional

Jorge Barredo Ferreira logra Sobresaliente Cum Laude en su Doctorado Internacional
Ampliar

Jorge Barredo Ferreira logra Sobresaliente Cum Laude en su Doctorado Internacional

Por Gonzalo Gómez-del Estal
x
gonzaloiymagazinees/7/7/18
lunes 02 de febrero de 2026, 12:59h

Jorge Barredo Ferreira obtuvo la calificación SOBRESALIENTE CUM LAUDE en su doctorado internacional, con una tesis sobre técnicas innovadoras para evaluar la seguridad en software embebido e IoT.

El alumno Jorge Barredo Ferreira ha logrado una destacada calificación de SOBRESALIENTE CUM LAUDE con mención en el DOCTORADO INTERNACIONAL, un reconocimiento que subraya su excelencia académica. La defensa de su tesis tuvo lugar el 2 de febrero de 2026 y se tituló Novel Techniques for Embedded Fuzzing with Side-Channel Analysis and Seed Optimization.

Detalles del tribunal y la investigación

La evaluación fue realizada por un tribunal compuesto por destacados académicos. La presidencia estuvo a cargo de María Teresa Gómez López, representando a la Universidad de Sevilla. También formaron parte del jurado Pablo Picazo Sánchez, de Halmstad University, y Iñaki Garitano Garitano, de Mondragon Unibertsitatea.

La tesis presentada por Barredo Ferreira aborda los complejos desafíos relacionados con la seguridad del software en dispositivos embebidos e IoT. En estos entornos, la falta de visibilidad interna, junto con limitaciones en la instrumentación y restricciones temporales y energéticas, dificultan la efectividad del fuzzing tradicional.

Contribuciones innovadoras en la investigación

Barredo propone dos contribuciones significativas en su trabajo. En primer lugar, sugiere el uso de canales laterales físicos —tales como trazas electromagnéticas y consumo energético— como oráculos para detectar divergencias, inferir cobertura implícita y priorizar entradas sin necesidad de modificar el firmware o la plataforma utilizada. Además, investiga métodos para mapear patrones de señal a subsistemas hardware, lo que facilita la localización de fallos.

En segundo lugar, evalúa la aplicación de modelos de lenguaje avanzados para generar semillas estructuradas bajo condiciones de bajo caudal. Este enfoque busca incrementar tanto la validez semántica como la diversidad en las pruebas realizadas. A través de campañas repetidas, su metodología combinada demuestra ser efectiva al aumentar las rutas alcanzadas y reducir el tiempo hasta fallos únicos, superando así las mesetas típicas en exploración.

Valora esta noticia
0
(0 votos)
¿Te ha parecido interesante esta noticia?    Si (0)    No(0)

+
0 comentarios