5tesis
Dirección de trabajos
He asesorado trabajos en la Universidad del Sarre sobre fuzzing de TLS/X.509, pruebas de inyección, pruebas basadas en propiedades y reparación de programas. Uno de ellos dio lugar a un artículo en ISSTA 2025.
Sobre mí
De Sevilla a Saarbrücken.
Formación, puestos de investigación y lo que he hecho en cada etapa.
Investigo en pruebas de software y seguridad.
Empecé como investigador estudiante en Sevilla, desarrollando herramientas para líneas de productos software en la Universidad de Sevilla y trabajando en problemas de optimización en la Universidad Pablo de Olavide. En octubre de 2023 me trasladé a Saarbrücken para hacer el doctorado con Andreas Zeller en CISPA.
Desde entonces trabajo en la generación de pruebas para entradas complejas e interacciones entre protocolos. En el Instituto Max Planck de Seguridad y Privacidad estudié cómo las características de las entradas afectan a la cobertura del fuzzing; esa visita orientó mis investigaciones posteriores sobre pruebas enfocadas.
De un vistazo
10PublicacionesArtículos y tutorial revisados por pares 66CitasGoogle Scholar $70kFinanciación que he conseguidoUSD · Para mi investigación 6Avisos e informes de seguridad4 CVE · 2 informes más 8Instituciones de investigaciónInstituciones con las que he trabajado 174Estrellas en GitHubEn mis repositorios públicos 202k+Descargas de softwareHistórico · paquetes y versiones 4Correcciones aceptadasPR de errores y seguridad en otros proyectos
Estrellas de repositorios y descargas de PyPI, GitHub Packages y archivos de versiones. Datos comprobados el 4 de noviembre de 2026.
Mi recorrido
Dónde he estado.
Las fechas de los resultados corresponden a la publicación o a la última revisión del preprint.
- 2018–2022
Grado en Ingeniería del Software
Universidad de SevillaEstudié en el programa bilingüe y, en enero de 2022, empecé a trabajar como investigador estudiante en Diverso Lab, el grupo de David Benavides. Allí investigué las líneas de productos software y desarrollé WebSPL. Obtuve tres Matrículas de Honor en asignaturas del grado; mi trabajo fin de grado también recibió una distinción de honor. Fui seleccionado para presentar WebSPL en JISBD 2022, una de las principales conferencias españolas de ingeniería del software.
Leer el artículo sobre WebSPL ↗ - 2022–2023
Máster en Ingeniería del Software
Universidad de SevillaSeguí en el grupo de Benavides y asumí otro puesto de investigador estudiante en la Universidad Pablo de Olavide, donde estudié heurísticas matemáticas y optimización. También colaboré con Jordi Cabot, entonces en LIST y vinculado a la Universidad de Luxemburgo, en XatkitSPL. Mi trabajo fin de máster recibió la máxima distinción y fui seleccionado para presentar XatkitSPL en JISBD 2023.
Leer el artículo sobre XatkitSPL ↗ - Oct 2023–actualidad
Doctorado en Informática
Universidad del Sarre · CISPAMe incorporé al grupo de Andreas Zeller en CISPA para investigar cómo generar pruebas de entradas complejas. Creé Fandango y trabajé en generación guiada por distribuciones y restricciones, pruebas de inyección XML y fuzzing personalizado. También continué una colaboración sobre optimización de grafos con la Universidad Pablo de Olavide.
- Una prueba de concepto con JSON dirigió los valores de edad y presupuesto hacia distribuciones elegidas sin incumplir sus restricciones. La evalué con 1.000 entradas; la mejora en detección de fallos quedó para trabajos futuros.Simposio doctoral de ISSTA 2024 ↗
Controlé la distribución de entradas generadas con gramáticas.
- En el artículo de MATCOM formulamos el problema k-ponderado y evaluamos métodos heurísticos. En el caso particular sin pesos, un método voraz iterativo obtuvo soluciones comparables en aproximadamente la mitad del tiempo de cálculo del método de referencia.Artículo en MATCOM ↗
Extendí la optimización de conjuntos dominantes a grafos ponderados.
- XAVIER genera entradas de ataque a partir de gramáticas derivadas de WSDL. En una comparación preliminar con ocho WSDL públicos, cubrió la funcionalidad especificada de forma comparable a SoapUI Pro.Artículo sobre XAVIER en ISSTA 2025 ↗
Convertí contratos de servicios web en pruebas de inyección XML.
- En el caso de estudio describimos mensajes binarios UBX mediante una gramática y restricciones del dominio, incluidos valores válidos y casos deliberados de NaN e infinito. En esa ejecución, el módulo aceptó los mensajes válidos y rechazó los inválidos; no se notificó ninguna vulnerabilidad.Artículo breve sobre GNSS en ISSTA 2025 ↗
Probé un módulo GNSS real con casos límite específicos.
- En cinco formatos de referencia, Fandango generó entradas entre 29 y 1.355 veces más rápido que el solucionador simbólico ISLa; los analizadores aceptaron entre el 99,27 % y el 100 % de las salidas.Artículo sobre Fandango en ISSTA 2025 ↗
Aceleré la generación de entradas de prueba complejas y válidas.
Ene 2026–actualidad · CISPADe vuelta en CISPA, continué el doctorado con Andreas Zeller. Desde entonces he extendido las pruebas basadas en lenguajes a conversaciones con estado entre protocolos, entradas muy restringidas y conjuntos de pruebas centrados en características concretas.
- Las gramáticas de interacción modelan los mensajes y su estado cambiante en protocolos como SMTP, DNS y FTP. En un estudio de caso con FTP, Fandango alcanzó un 80,3 % de cobertura de instrucciones en unos 14 minutos; AFLNET llegó a una mediana del 69,6 % después de un día.Preprint revisado sobre pruebas de protocolos ↗
Generé conversaciones completas entre protocolos con estado.
- Los métodos de nuestro tutorial de FSE ya se habían enseñado en la escuela de verano RIO a más de 100 participantes: gramáticas, restricciones y pruebas de protocolos con estado.Tutorial de FSE 2026 ↗
Llevé las pruebas basadas en lenguajes a la enseñanza práctica.
- Fandango-RS compila gramáticas a Rust y utiliza búsqueda multiobjetivo. En el estudio del preprint revisado sobre un subconjunto restringido de C, generó 877 programas válidos en aproximadamente un minuto, mientras que el método anterior no generó ninguno. La mejora de tres a cuatro órdenes de magnitud se refiere a las operaciones internas.Preprint de Fandango-RS · v3 ↗
Hice viable generar pruebas de compiladores con muchas restricciones.
- Compás transforma una especificación de formato en conjuntos de pruebas para características concretas. En diez formatos, uno o dos conjuntos conservaron la cobertura de líneas agregada del conjunto completo; de media, todas las entradas enfocadas alcanzaron la región de código prevista, frente al 26 % de las entradas generadas sin ese enfoque.Artículo sobre Compás en ASE 2026 ↗
Centré las pruebas en características concretas sin perder cobertura medida.
Docencia y dirección
Lo que he enseñado.
Mi investigación también llega a las aulas, a los trabajos de estudiantes y a tutoriales que cualquiera puede usar.
207estudiantes
Security Testing
Como asistente docente de esta asignatura avanzada, ayudé a preparar ejercicios, proyectos y exámenes sobre fuzzing, análisis estático y búsqueda de vulnerabilidades.
353páginas
Fuzzing with Fandango
Soy coautor y codocente de este tutorial y guía de referencia abiertos. Sus métodos también llegaron a más de 100 participantes de la escuela de verano RIO.
Leer la guía ↗Formación.
- 2024TAROT Summer School
Pruebas, verificación y validación de software · Universidad de Bérgamo
- 2024Fuzzing and Software Security Summer School
Universidad Nacional de Singapur
- 2024Escritura científica I y II
CISPA
- 2024Competencias en ciberseguridad
Instituto Nacional de Ciberseguridad
- 2024Gestión de proyectos y preparación de presentaciones
Impulsplus · Beth Susanne
Servicio.
- 2026Evaluación de artefactos
ASE e ISSTA
- 2026Área de herramientas y conjuntos de datos
ASE
- 2026Revisor
ACM Transactions on Software Engineering and Methodology
- 2025Responsable de la web
SBFT 2026
- 2024Revisor
Journal of Systems and Software
Charlas y presentaciones
Charlas en el mapa.
Lugares donde he presentado mis investigaciones y herramientas, desde SISTEDES en España hasta conferencias de pruebas de software por todo el mundo. Elige una ciudad para ver las charlas.
10 ciudades · 13 charlas
Santiago de Compostela · 42.9° N / 8.5° W01 / 10Parada · 2022
Santiago de Compostela.
España
- SISTEDES / JISBD 2022WebSPL: automatic website generation with software product lines ↗
02 / 10Parada · 2023
Ciudad Real.
España
- SISTEDES / JISBD 2023Optimizing chatbot generation with software product lines ↗
03 / 10Parada · 2023
Madrid.
España
- GRAFO VI Workshop 2023Heuristic algorithms for weighted dominating sets ↗
04 / 10Parada · 2024
Viena.
Austria
05 / 10Parada · 2025
Trondheim.
Noruega
06 / 10Parada · 2025
Sevilla.
España
- INNOSOFT 2025Research abroad and Ph.D. life
07 / 10Parada · 2026
Berna.
Suiza
08 / 10Parada · 2026
Daejeon.
Corea del Sur
09 / 10Parada · 2026
Montréal.
Canadá
10 / 10Parada · 2026
Múnich.
Alemania
Filosofía e intereses
Lo que me importa.
01
Trabajo abierto
La investigación debería dejar herramientas que otras personas puedan ejecutar, examinar y mejorar. Por eso publico mis herramientas y experimentos.
02
Cruzar disciplinas
Me gusta trabajar con personas que miran un mismo problema desde la ingeniería del software, los métodos formales o la seguridad. De esas conversaciones salen mejores herramientas.
03
Sistemas difíciles
Me interesa probar sistemas en los que un generador sencillo se queda corto: formatos estructurados, protocolos con estado y sistemas de IA que deben funcionar de forma fiable.