Evaluación
Evaluaciones manuales · Análisis de vulnerabilidades · Auditorías de código · Modelado de amenazas
evaluación de seguridad / reverse engineering / criptografía / seguridad en ia
Sergio Benlloch
Ingeniero de seguridad en I+D
Ingeniero informático especializado en Ingeniería de Computadores. Trabajo como R&D Security Engineer con un enfoque claramente práctico: evaluaciones manuales, reversing, seguridad hardware, criptografía, seguridad en IA y mitigaciones que los equipos puedan aplicar.
Computer engineer. Security research, reversing, cryptography, AI security. ITI - Instituto Tecnológico de Informática
sergio@secbox:~$ uname -srmo
Linux 6.x x86_64 GNU/Linux
sergio@secbox:~$ id
uid=1000(security-researcher) groups=pentest,reversing,crypto
sergio@secbox:~$ cat ~/.profile
Valencia, Spain / Europe
contact=use --mail flag
sergio@secbox:~$ ./foco --ahora
- evaluaciones manuales de seguridad
- firmware y reversing ARM/x86
- criptografía post-cuántica y seguridad en IA
- tecnologías de privacidad: HE, TEEs, DP, MPC
- criptografía e ingeniería segura
sergio@secbox:~$ alias sudo='please'
please still won't fix race conditions, but morale improves.
02 / mapa de capacidades
Superficie técnica
Reverse Engineering
Triage de ejecutables · ARM/x86 · Análisis de firmware · Desarrollo de PoC
Criptografía
Criptografía aplicada · Revisión de protocolos · Criptografía post-cuántica · Implementaciones seguras
Seguridad en IA
Threat modeling · Análisis de abuso · Pipelines de ML seguros · Revisión adversarial
Tecnologías de privacidad
Cifrado homomórfico · TEEs · Privacidad diferencial · MPC
Ingeniería
Python · Go · C · Java · Bash · Linux · Automatización
04 / trayectoria
Experiencia y contexto operativo
Junio 2023 - actualidad
R&D Security Engineer
ITI - Instituto Tecnológico de Informática · Valencia, España (híbrido)
- Trabajo en investigación e ingeniería de seguridad con restricciones reales de entrega.
- Me muevo entre PETs, criptografía, seguridad en IA, DevSecOps y mitigaciones aplicables por los equipos de ingeniería.
- Combino investigación, prototipado, revisión y comunicación técnica según lo que pida el problema.
Diciembre 2021 - Enero 2023
Offensive Security Researcher
Cyber Intelligence S.L. · Valencia, España
- Trabajé en investigación en seguridad con Python y Bash, con un enfoque muy práctico.
- Revisé binarios y artefactos de bajo nivel como parte de trabajos de evaluación.
- Construí y adapté herramientas internas para acelerar flujos repetitivos de análisis.
05 / investigación
Escritos y papers seleccionados
Threat Modeling for Enhancing Security of IoT Audio Classification Devices
Arquitectura de seguridad y modelado de amenazas para nodos IoT con micrófono mediante attestation remota, TLS mutuo, resiliencia post-cuántica y protección de actualizaciones y datos.
TFM: inteligencia de archivos binarios
Caracterización binaria automatizada y modelado con aprendizaje automático para ejecutables, planteado como capa de apoyo y no como sustituto del análisis manual.
TFG: exploración multiobjetivo del espacio de diseño para binarios
Exploración del espacio de diseño de flags de GCC para equilibrar tamaño, tiempo de ejecución, CPU, memoria y robustez del binario.
06 / trabajo seleccionado
Proyectos como evidencia
go-diffie
Implementación y proyecto de aprendizaje en Go en torno al intercambio de secretos tipo Diffie-Hellman.
intfact
Implementaciones en Go de algoritmos de factorización entera para descomponer números compuestos en factores primos.
BinSniff
Extractor de características para binarios, centrado en flujos de parsing PE y ELF.
devAV
Toolkit para detectores de malware basados en machine learning: minería de datos, extracción de características, selección de modelos y prototipado.
07 / notas de campo
Notas prácticas
Copy Fail y Dirty Frag: escribir donde solo podías leer
Una nota práctica sobre Copy Fail, Dirty Frag y por qué las escrituras en page cache rompen una frontera peligrosa dentro del kernel de Linux.
Paper: modelado de amenazas para IoT con clasificación de audio
Una nota sobre el paper de seguridad para nodos IoT con micrófono, clasificación de audio y una arquitectura pensada para proteger datos, firmware y comunicaciones.
08 / base
Formación académica
Expedición: abril 2026
Criptografía matemáticamente demostrable
Universitat Politècnica de València (UPV)
ID de credencial FCP1SYW4LJL. Certificación pública en LinkedIn sobre criptografía matemáticamente demostrable.
Septiembre 2021 - Junio 2023
Máster en Ciberseguridad y Ciberinteligencia (MUCC)
Universitat Politècnica de València (UPV)
Formación orientada a proteger sistemas de información y comunicación mediante análisis de vulnerabilidades, desarrollo seguro y generación de inteligencia de amenazas.
2017 - 2021
Grado en Ingeniería Informática, especialidad en Ingeniería de Computadores
Universitat Politècnica de València (UPV)
Base en fundamentos de informática, ingeniería del software, arquitectura de sistemas y programación de bajo nivel.