Pre-Fabrication to Post-Deployment: A Unified ML-Driven Pipeline for IC Logic Locking
Este artículo presenta un proceso unificado de cuatro etapas impulsado por aprendizaje automático que automatiza la selección de técnicas óptimas de bloqueo lógico, integra un mecanismo STREAMLOCK ligero y criptográficamente robusto con Reconfiguración Parcial Dinámica para actualizaciones en tiempo de ejecución, y logra una eficiencia de hardware y seguridad superiores a lo largo de todo el ciclo de vida de protección del CI.
Artículo original bajo licencia CC BY 4.0 (https://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 moderno, los chips que impulsan todo, desde teléfonos inteligentes hasta dispositivos médicos, rara vez son fabricados por una sola empresa en un solo lugar. En cambio, el diseño, la verificación y la fabricación de estos circuitos integrados se dividen entre diferentes equipos y fábricas en todo el mundo. Si bien esta cooperación global ha hecho que la tecnología sea más barata y rápida de producir, también ha creado una vulnerabilidad peligrosa. Fábricas o proveedores externos no confiables podrían robar la propiedad intelectual, insertar hardware malicioso o realizar ingeniería inversa de los diseños para crear copias no autorizadas. Para detener esto, los ingenieros utilizan una técnica llamada bloqueo de lógica (logic locking). Imagine un circuito como una máquina compleja; el bloqueo de lógica añade un panel de conmutación secreto que evita que la máquina funcione a menos que se introduzca el código secreto correcto. Sin este código, la máquina parece intacta pero produce resultados basura. Sin embargo, durante años, esta defensa ha tenido tres fallas principales. Primero, elegir el tipo de bloqueo adecuado para un chip específico ha sido un proceso manual basado en gran medida en conjeturas. Segundo, una vez que el chip está construido, el bloqueo es estático e invariable, lo que lo hace vulnerable a atacantes que lo estudian a lo largo del tiempo. Tercero, no ha habido una buena manera de actualizar la seguridad después de que el chip ya está en uso.
Un equipo de investigadores de la Universidad de Carolina del Norte en Charlotte ha construido un nuevo sistema para solucionar los tres problemas a la vez. Crearon un flujo de trabajo unificado que utiliza el aprendizaje automático para diseñar, construir y mantener chips seguros desde la planta de la fábrica hasta el usuario final. El proceso comienza con un programa informático que actúa como un arquitecto experto. Examina el plano bruto de un circuito y, utilizando un modelo de inteligencia artificial entrenado, predice qué una de cinco diferentes estrategias de bloqueo funcionará mejor para ese diseño específico. Esto elimina la necesidad de que los ingenieros humanos decidan manualmente un método de seguridad, asegurando que se utilice la herramienta adecuada para cada tarea.
Una vez elegido el mejor método, el sistema construye el bloqueo. Para muchos circuitos estándar, utiliza un método que inserta puertas lógicas secretas en los puntos más críticos para maximizar la confusión de un atacante. Para circuitos que necesitan una protección más fuerte, el sistema emplea un nuevo motor de seguridad ligero llamado STREAMLOCK. A diferencia de los bloqueos tradicionales que utilizan un código secreto único e invariable, STREAMLOCK genera un flujo constante y cambiante de números aleatorios. Este flujo se mezcla en la lógica del circuito, lo que significa que la relación entre la entrada y la salida nunca es la misma dos veces. Este comportamiento dinámico derrota a los atacantes que intentan estudiar el comportamiento fijo del chip para descifrar el código. Los investigadores probaron este nuevo motor en una variedad de circuitos de referencia estándar y confirmaron que funciona perfectamente cuando se aplica el secreto correcto, mientras que desordena completamente la salida cuando se utiliza la clave incorrecta.
Los investigadores también compararon este nuevo enfoque con métodos anteriores y con un estándar de cifrado de alta capacidad conocido como AES, que se utiliza a menudo para datos de alta seguridad pero es muy costoso en términos de espacio de chip y potencia. Sus pruebas demostraron que el nuevo método STREAMLOCK ofrece una seguridad mucho más fuerte que los antiguos bloqueos estáticos, pero utiliza hasta nueve veces menos espacio y veinte veces menos potencia que el método pesado de AES. Esto lo sitúa en un punto ideal: es mucho más seguro que las formas antiguas, pero mucho más eficiente que las alternativas de alta capacidad.
La pieza final del rompecabezas aborda el problema de los chips que ya están en uso. Incluso un bloqueo fuerte puede eventualmente romperse si nunca cambia. Para resolver esto, el equipo integró una característica llamada reconfiguración parcial dinámica. Esto permite que los ajustes de seguridad del chip se actualicen mientras está funcionando, sin apagar el sistema. Es similar a cambiar la combinación de una caja fuerte mientras la caja fuerte aún está cerrada y en uso, en lugar de tener que romper la caja fuerte para reiniciarla. Los investigadores descubrieron que añadir esta capacidad de actualizar la seguridad sobre la marcha añade casi ningún costo adicional al tamaño o al consumo de energía del chip. Al combinar la selección de diseño automática, un potente nuevo motor de cifrado y la capacidad de actualizar la seguridad en tiempo real, este flujo de trabajo ofrece una solución completa y automatizada para proteger el hardware durante toda su vida, desde el momento en que se diseña hasta el día en que finalmente se retira.
¿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.