Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
Este artículo presenta Kestrel, una herramienta de análisis estático que detecta de manera fiable algoritmos criptográficos post-cuánticos estandarizados (ML-KEM y ML-DSA) en binarios depurados y optimizados mediante la identificación de tablas de constantes de transformada de número-teórica únicas, permitiendo así un examen forense, una inspección de la cadena de suministro y una garantía de migración efectivos, incluso cuando las señales de detección tradicionales están oscurecidas.
Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo
En el mundo de la seguridad digital, una revolución silenciosa está en marcha. Durante décadas, las cerraduras que protegen nuestros datos más sensibles —registros bancarios, secretos de estado, mensajes privados— han dependido de acertijos matemáticos que son fáciles de crear pero casi imposibles de resolver sin una clave específica. Estos acertijos, conocidos como criptografía de clave pública, son la base de la confianza en internet. Sin embargo, los científicos han predicho durante mucho tiempo que un nuevo tipo de computadora, una que aprovecha las extrañas leyes de la física cuántica, será eventualmente lo suficientemente poderosa como para romper estas cerraduras instantáneamente. Cuando eso suceda, las viejas cerraduras quedarán inutilizadas. Para prepararse, los expertos están diseñando nuevas cerraduras basadas en una matemática diferente que ni siquiera una computadora cuántica puede romper fácilmente. Estos nuevos sistemas se denominan criptografía post-cuántica. El desafío ahora no es solo construir estas nuevas cerraduras, sino encontrarlas. A medida que las organizaciones se apresuran a reemplazar sus sistemas antiguos, necesitan saber exactamente dónde se esconden los nuevos dentro del complejo software que hace funcionar su mundo. Pero hay un problema: una vez que el software se compila en un programa final para su uso, las etiquetas y nombres que usualmente nos dicen qué hay dentro suelen ser eliminados para que el programa sea más pequeño y rápido. Sin esos nombres, encontrar una nueva cerradura específica dentro de una pila de código ha sido como intentar encontrar un grano de arena específico en una playa sin saber cómo es esa arena.
Un investigador llamado Muhammad Shaheer Bin Junaid ha desarrollado una nueva forma de resolver este problema. Creó una herramienta llamada Kestrel que puede identificar estas nuevas cerraduras, seguras contra la computación cuántica, dentro de software sin etiquetas, incluso cuando todas las pistas habituales han sido eliminadas. El método se basa en una observación simple pero poderosa: aunque los nombres del código pueden borrarse, los números brutos que el código necesita para funcionar no pueden. Los nuevos sistemas criptográficos, específicamente aquellos basados en una estructura llamada red (lattice), deben utilizar un conjunto fijo de números precalculados para realizar sus cálculos. Estos números actúan como una huella digital permanente. No importa cuánto se optimice, comprima o renombre el software, estos números específicos deben permanecer en el archivo para que el programa funcione. Si los números faltan, el programa simplemente no funcionará. Kestrel escanea los datos brutos de un programa, buscando estos patrones específicos de números. No le importan los nombres de las funciones o las librerías que utiliza el programa; solo le importa la presencia de estas constantes matemáticas esenciales.
El investigador probó este enfoque en una amplia variedad de software, incluyendo programas construidos con diferentes herramientas y sometidos a todo tipo de procesamiento estándar que los hace más difíciles de analizar. Encontró que la herramienta funcionó perfectamente. En pruebas que involucraron 128 versiones diferentes del software, Kestrel identificó los nuevos algoritmos criptográficos en todos y cada uno de los casos, incluso cuando los programas habían sido despojados de todos sus nombres y vinculados de formas complejas. Crucialmente, la herramienta no cometió ningún error. Cuando el investigador escaneó más de 6,000 programas del mundo real de un sistema informático estándar, la herramienta no encontró falsas alarmas. No confundió el software ordinario con los nuevos sistemas criptográficos. Este nivel de precisión es vital para la informática forense, donde un experto debe estar absolutamente seguro de lo que encuentra antes de presentarlo en un entorno legal.
Quizás el descubrimiento más sorprendente surgió cuando la herramienta se aplicó a un sistema informático en vivo. El escaneo reveló doce programas diferentes que contenían estas nuevas cerraduras seguras contra la computación cuántica, y nadie sabía que estaban allí. Esto incluyó el software que gestiona las conexiones a internet para inicios de sesión seguros y los sistemas que ejecutan aplicaciones en contenedores. En muchos casos, la nueva criptografía había entrado en estos programas automáticamente a través de los lenguajes de programación utilizados para construirlos, sin que los desarrolladores de esos programas siquiera se dieran cuenta. Este hallazgo resalta una brecha significativa en las prácticas de seguridad actuales: las organizaciones podrían creer que están usando sistemas antiguos y vulnerables, o podrían pensar que han actualizado, pero sin una forma de inspeccionar el código real, no pueden estar seguras. Kestrel proporciona esa certeza. Puede distinguir entre un programa que genuinamente usa las nuevas cerraduras y uno que simplemente afirma hacerlo. En una prueba, un programa afirmaba tener protección segura contra la computación cuántica, pero la herramienta no encontró evidencia de ello, identificando correctamente la afirmación como falsa.
La herramienta también demostró su valor en un entorno forense, simulando la recuperación de datos de un archivo dañado o eliminado. Cuando un archivo es eliminado, el sistema operativo a menudo marca el espacio como disponible para nuevos datos, pero los datos antiguos permanecen en el disco hasta que son sobrescritos. Las herramientas de recuperación estándar intentan reconstruir la estructura del archivo, lo cual suele fallar si el encabezado del archivo está dañado. Sin embargo, debido a que Kestrel busca los números específicos dentro de los datos en lugar de la estructura del archivo, fue capaz de encontrar la huella digital criptográfica incluso en el espacio bruto y desorganizado de la imagen del disco. Identificó con éxito la presencia del nuevo algoritmo en un archivo que otras herramientas no pudieron recuperar. Esta capacidad significa que los investigadores pueden confirmar el uso de métodos criptográficos específicos incluso cuando los archivos originales han desaparecido o están corruptos.
La investigación también aclaró lo que la herramienta no puede hacer. Está diseñada para encontrar los tipos específicos de nuevas cerraduras que dependen de estas tablas de números fijos. No puede encontrar otros tipos de nuevas cerraduras que no utilicen este método, ni puede encontrar un programa que calcule estos números sobre la marcha cada vez que se ejecuta, en lugar de almacenarlos. Sin embargo, el investigador señaló que ningún software conocido utiliza actualmente este método "sobre la marcha" porque es ineficiente e innecesario. La herramienta está construida para la realidad de cómo se fabrica y distribuye el software hoy en día. Al enfocarse en los números inmutables que el código requiere para funcionar, Kestrel ofrece una forma confiable de verificar la presencia de estos nuevos sistemas de seguridad. Convierte lo invisible en visible, permitiendo a los auditores e investigadores ver exactamente qué hay dentro de un programa, asegurando que la transición hacia un futuro seguro contra la computación cuántica se base en hechos y no en suposiciones.
¿Ahogado en artículos de tu campo?
Recibe resúmenes diarios de los artículos más novedosos que coincidan con tus palabras clave de investigación — con resúmenes técnicos, en tu idioma.