Se ha descubierto una vulnerabilidad en el servidor de archivos HTTP de Rejetto (HFS), identificada como CVE-2026-61500 y con una puntuación CVSS de 9.3, que se encuentra actualmente en explotación activa en el entorno real. Este hallazgo, que inicialmente era parte de un experimento de investigación en ciberseguridad, se ha convertido en una advertencia tangible para los defensores de la seguridad. La vulnerabilidad afecta a las versiones 3.x de Rejetto HFS, lo que permite a los atacantes eludir la autenticación, obtener acceso administrativo y, en última instancia, ejecutar código arbitrario en el servidor afectado.
La firma de investigación de seguridad VulnCheck ha comenzado a observar actividad de reconocimiento dirigida a sistemas vulnerables. Según un comunicado de VulnCheck, “hoy, la red de inteligencia Canary de VulnCheck comenzó a detectar intentos de explotación de CVE-2026-61500, una vulnerabilidad de forja de sesión a través de una clave de firma débil en Rejetto HFS, un servidor de archivos de código abierto”. Esta vulnerabilidad fue descubierta por Zach Hanley de Horizon3.ai y se publicó a través del CNA de VulnCheck el 13 de julio de 2026.
La relevancia de esta historia radica en dos aspectos fundamentales: la vulnerabilidad en sí misma y el método que utilizó Horizon3 para identificarla. Rejetto HFS es una aplicación de código abierto diseñada para facilitar el alojamiento y compartición de archivos. Sus versiones anteriores 2.x estaban escritas en Delphi, mientras que la nueva rama 3.x fue reescrita en TypeScript. HFS ya había aparecido en el catálogo de Vulnerabilidades Conocidas Explotadas de CISA debido a la CVE-2024-23692, una inyección de plantilla no autenticada que podría conducir a la ejecución remota de código.
El equipo de Horizon3 analizó el nuevo código utilizando un entorno de investigación personalizado y el modelo Mythos de Anthropic como parte del Proyecto Glasswing. Desde su incorporación al proyecto en julio de 2026, la compañía ha utilizado Mythos para detectar vulnerabilidades serias, enfocándose en fallos que los atacantes podrían descubrir y explotar de manera realista a gran escala. Esta distinción es crucial, ya que localizar un error es una cosa, pero identificar uno que pueda transformarse en un ataque confiable es considerablemente más complicado.
Los investigadores de Horizon3 afirman que Mythos ha demostrado un rendimiento excepcional en tareas científicas, informática, sistemas operativos, matemáticas y problemas que requieren múltiples pasos. La vulnerabilidad de HFS es un buen ejemplo de esto, ya que el modelo no solo identificó un diseño criptográfico débil, sino que también conectó varios problemas y determinó cómo podrían combinarse para lograr la ejecución remota de código.
El problema comienza con la autenticación. HFS genera un valor utilizando Math.random() de JavaScript. Este valor se integra en Koa, el marco web de Node.js utilizado por HFS, y Koa lo utiliza a través de Keygrip para firmar las cookies de sesión. Si un atacante puede recuperar el valor utilizado como clave de firma, podrá crear cookies de sesión válidas. Para explicar completamente el problema, el informe de Horizon3 detalla primero cómo funciona la autenticación en HFS y, posteriormente, cómo Mythos identificó la vulnerabilidad.
Si un atacante puede derivar cuál es la clave de firma de sesión, puede forjar cookies de sesión válidas. Normalmente, esto no debería ser posible si se emplea un generador de números aleatorios pseudoaleatorios (PRNG) seguro. Sin embargo, HFS empleó Math.random() de V8, que se basa en el generador de números pseudoaleatorios xorshift128+. Este generador no está diseñado para la seguridad, y su salida puede preverse si un atacante recopila suficientes valores.
El problema se agrava porque HFS expone valores de la misma secuencia de números aleatorios. Durante el inicio de sesión, HFS coloca un valor de Math.random() en el estado de la sesión, y la cookie de sesión envía ese valor al cliente. Esto significa que un atacante podría recopilar valores aleatorios de la misma fuente utilizada para crear la clave de firma.
Mythos reconoció esta conexión. Identificó tanto el generador de números aleatorios inseguro utilizado para crear la clave de firma como el camino de código separado que filtraba los valores de ese mismo generador. A partir de ahí, determinó que los valores filtrados podrían proporcionar suficiente información para reconstruir el estado interno del generador y retroceder hasta los valores generados cuando se inició el servidor.
Este proceso requiere matemáticas, no solo coincidencias de patrones en el código fuente. El generador xorshift128+ mantiene un estado interno compuesto por dos valores de 64 bits. Sus operaciones son reversibles, lo que significa que suficientes salidas consecutivas pueden utilizarse para reconstruir el estado y luego retroceder a las salidas anteriores. En el motor JavaScript de Node.js, V8, al invocar Math.random(), el PRNG se genera con el algoritmo xorshift128+. Aunque no profundizaremos en el algoritmo en sí, es crucial mencionar que sus salidas son reversibles. Si se pueden observar otros números generados por Math.random(), es posible, dado un número suficiente de observaciones, conocer los números anteriores que se generaron. Esto permitiría a un atacante forjar cookies de autenticación válidas.
Mythos sugirió utilizar Z3, el resolvedor de satisfacibilidad de teorías modulares de Microsoft, para resolver las restricciones matemáticas. Los investigadores de Horizon3 señalaron que normalmente habrían considerado primero un ataque de fuerza bruta y que no habían visto anteriormente un resolvedor SMT utilizado de esta manera para convertir una debilidad criptográfica en una aplicación real en un bypass de autenticación.
El modelo no se detuvo en la mera observación teórica. Produjo una prueba de concepto funcional, implementó el resolvedor Z3 con las restricciones necesarias y demostró la ejecución de comandos arbitrarios. Esta distinción es importante. Los equipos de seguridad han estado discutiendo el descubrimiento de vulnerabilidades asistido por inteligencia artificial durante un tiempo, pero hay una diferencia fundamental entre un sistema de IA que dice "esto parece sospechoso" y un agente que logra determinar cómo varios puntos débiles pueden encadenarse en un ataque efectivo.
La cadena de ataque completa comienza con la enumeración de usuarios para establecer si existe la cuenta de administrador incorporada. Horizon3 también señala que Mythos identificó la debilidad de enumeración de usuarios necesaria para completar la cadena. El atacante recopila entonces las salidas filtradas de Math.random() de un punto final no autenticado. En su explotación, Horizon3 muestrea el punto final 12 veces, introduce las observaciones en Z3, reconstruye el estado interno de xorshift128+ y retrocede en ese estado para recuperar la clave de firma generada cuando se inició el proceso de HFS. Este tipo de vulnerabilidad pone de manifiesto la necesidad urgente de revisar las implementaciones de seguridad en aplicaciones de código abierto y la importancia de contar con diagnósticos robustos que puedan identificar tales debilidades antes de que sean explotadas en el mundo real.
Con la clave obtenida, el atacante puede falsificar una cookie de sesión de administrador. HFS acepta entonces esta sesión forjada como autenticada, lo que permite al atacante acceder a funcionalidades que pueden ejecutar código en el servidor. Este proceso representa una cadena de vulnerabilidades que inicia con un acceso no autenticado, avanza hacia la filtración de números aleatorios, de ahí a la recuperación del estado, luego a la falsificación de cookies y, finalmente, culmina en el control administrativo y la ejecución remota de código.
Lo notable de este caso es que no fue necesaria una vulnerabilidad espectacular de corrupción de memoria ni un exploit exótico del kernel. El atacante logra su objetivo mediante la combinación de una fuente débil de aleatoriedad, la filtración de información y una aplicación que confía en el estado de la sesión resultante. Esta debilidad criptográfica ha sido frecuentemente pasada por alto en investigaciones manuales, ya que demostrar su impacto real puede requerir mucho tiempo y una comprensión matemática avanzada. Sin embargo, la herramienta Mythos cambia esta dinámica, permitiendo investigar la debilidad, identificar el eslabón perdido y resolver el problema matemático sin que un investigador tenga que guiar manualmente cada paso del proceso.
Los investigadores de Horizon3 enfatizan que no fue necesaria una indicación adicional para descubrir la fuga de un generador de números aleatorios (PRNG) que convirtió este problema teórico en uno demostrable. No fue necesario dar instrucciones sobre cómo investigar enfoques para "resolver" un problema matemático complejo. A medida que los sistemas de inteligencia artificial mejoran en el razonamiento a través del código, las matemáticas y largas secuencias de operaciones, es probable que los atacantes comiencen a explotar vulnerabilidades que anteriormente se consideraban demasiado complicadas o poco fiables para ser utilizadas a gran escala. Una clase de vulnerabilidad no necesariamente se vuelve más peligrosa solo porque el error subyacente haya cambiado; puede volverse más amenazante si el costo de convertir ese error en un exploit ha disminuido.
Un investigador humano podría notar que una aplicación utiliza Math.random() para algo sensible en términos de seguridad y decidir que explotar esa vulnerabilidad requeriría demasiado esfuerzo. En cambio, un agente de inteligencia artificial puede continuar su análisis, inspeccionar otro camino de código, encontrar los valores filtrados, conectar las dos observaciones, formular las restricciones matemáticas y probar si el ataque resultante efectivamente funciona.
Horizon3 también establece una importante aclaración: sus investigadores no argumentan que los investigadores de seguridad se han vuelto irrelevantes. Su papel evoluciona, ya que todavía hay decisiones que tomar sobre qué proyectos merecen una investigación más profunda, qué bibliotecas son lo suficientemente importantes como para justificar un análisis especializado, y dónde es probable que un escaneo automatizado encuentre algo útil.
La compañía señala que los modelos disponibles en 2025 ya podrían identificar vulnerabilidades, pero los investigadores necesitarían un considerable trabajo de ingeniería de software para manejar el contexto, seleccionar archivos y funciones relevantes, y guiar el análisis. Modelos más recientes y bibliotecas de apoyo han reducido algunas de estas limitaciones, haciendo que instrucciones relativamente simples como "encontrar vulnerabilidades" o "encontrar un bypass" sean mucho más efectivas en proyectos que no han recibido una revisión de seguridad exhaustiva.
El HFS fue corregido en la versión 3.2.1, lanzada el 13 de julio. Rejetto advirtió que múltiples vulnerabilidades de seguridad habían afectado versiones anteriores, lo que podría permitir a los atacantes obtener acceso administrativo. El hecho de que ahora se haya comenzado a explotar estas vulnerabilidades transforma esta divulgación en algo más que una simple demostración interesante de la capacidad de la inteligencia artificial. VulnCheck informó el 2 de octubre que los atacantes habían comenzado a dirigirse a la CVE-2026-61500 en actividades de reconocimiento a pequeña escala originadas desde una dirección IP de China Telecom, con intentos observados impactando "canarios" en Japón y Estados Unidos.
"Las actividades hasta ahora parecen ser solo un reconocimiento a pequeña escala, con una sola IP de China Telecom sondeando implementaciones de canarios en Japón y Estados Unidos", agregó VulnCheck. "La CVE-2026-61500 afecta a las versiones del servidor de archivos Rejetto HFS 3.0.0–3.2.0 y permite la toma de control de cuentas y la ejecución remota de código".
Para los defensores, la lección práctica es incómoda pero simple: una vulnerabilidad que antes parecía demasiado complicada para ser utilizada como un arma puede haber perdido esa protección. Y la inteligencia artificial no necesita inventar una nueva técnica de ataque para cambiar esta realidad. Puede tomar una colección de debilidades ordinarias, realizar el razonamiento tedioso entre ellas y producir el exploit que un investigador humano podría haber considerado no merecedor del tiempo invertido.
"El campo de la investigación en seguridad ha cambiado, sigue cambiando y debemos esperar que tengamos que adaptarnos a medida que evoluciona", concluye el informe.
