Quantum-Aware Key Rank for Side-Channel Attacks evaluation

En el mundo de la seguridad digital, la fuerza de un código secreto se pone a prueba a menudo intentando robar la clave no rompiendo las matemáticas, sino escuchando a la máquina. Cuando una computadora cifra datos, filtra pequeñas cantidades de información a través de su consumo de energía o sus señales electromagnéticas. Los expertos en seguridad capturan estas fugas, conocidas como trazas, y las utilizan para reducir la lista de posibles claves. En lugar de encontrar la clave correcta de inmediato, estos ataques suelen dejar una lista larga y ordenada de candidatos, con la clave verdadera escondida en algún lugar intermedio. La posición de la clave verdadera en esta lista se llama su rango. Si el rango es bajo, la clave es fácil de encontrar; si es alto, la clave es efectivamente segura. Durante décadas, los laboratorios de seguridad han medido este rango para decidir si un dispositivo es seguro, asumiendo que un atacante usaría una computadora estándar para buscar entre las posibilidades restantes.

Sin embargo, las reglas del juego están cambiando con la llegada de las computadoras cuánticas. Estas máquinas operan bajo principios físicos diferentes y pueden, en teoría, buscar a través de listas de posibilidades mucho más rápido que cualquier computadora clásica. Una nueva investigación de Yevgen Kotukh aborda una brecha crítica en nuestra comprensión: ¿qué sucede cuando un atacante utiliza una computadora clásica para reunir las pistas iniciales, pero luego cambia a una computadora cuántica para terminar el trabajo? La investigación revela que la aceleración proporcionada por las computadoras cuánticas no es tan dramática o universal como algunas teorías previas sugirieron. Resulta que la ventaja depende enteramente de cuántos candidatos quedan por buscar y cuánto tiempo se le permite correr a la computadora cuántica.

Los investigadores construyeron un modelo detallado para simular este tipo específico de atacante híbrido. Imaginaron un escenario donde un hacker primero recolecta trazas de potencia de un dispositivo y utiliza software estándar para crear una lista clasificada de claves potenciales. Esta lista podría contener miles de millones de candidatos. El hacker toma entonces esta lista y ejecuta un algoritmo cuántico para encontrar la clave correcta. El estudio demuestra que, para cualquier dispositivo con un número específico de candidatos restantes, la computadora cuántica ofrece una aceleración que es exactamente proporcional a la raíz cuadrada de ese número. Esto significa que si una computadora clásica necesita verificar un millón de claves, una computadora cuántica podría solo necesitar verificar mil. Esta es una mejora significativa, pero no es la explosión mágica y exponencial de velocidad que algunas teorías anteriores, más abstractas, predijeron. Esas teorías anteriores sugerían que las computadoras cuánticas podrían ser incluso más rápidas, pero la nueva investigación muestra que esas predicciones se basaron en promediar resultados sobre muchos dispositivos diferentes, en lugar de mirar la realidad específica de un ataque individual.

Una parte crucial del estudio involucra los límites físicos de las computadoras cuánticas. Estas máquinas aún no son perfectas; solo pueden realizar un cierto número de operaciones antes de que sus delicados estados cuánticos colapsen. Los investigadores aplicaron un límite estricto a la profundidad del circuito cuántico, representando el número máximo de pasos que una futura computadora cuántica podría dar en un año o una década. Descubrieron que la aceleración cuadrática solo funciona cuando el número de claves restantes está por debajo de cierto umbral. Si la lista de candidatos es demasiado larga, la computadora cuántica se ve obligada a ejecutar muchas copias de sí misma en paralelo para mantenerse dentro de su límite de tiempo. Esta paralelización consume la ventaja de velocidad, reduciendo el beneficio a un factor constante simple. Para los estándares de cifrado modernos como AES-128, esta "ventana" de ventaja se cierra cuando el rango de la clave alcanza un punto específico, que corresponde aproximadamente a un rango de 2 a la potencia de 59. Más allá de este punto, la computadora cuántica ya no es exponencialmente más rápida; es solo un número fijo de veces más rápida y, en algunos casos, la ventaja es tan pequeña que apenas importa.

Para ayudar a los laboratorios de seguridad a adaptarse a esta nueva realidad, el autor introdujo una nueva métrica llamada "rango de clave consciente de lo cuántico" (quantum-aware key rank). Esta herramienta permite a los evaluadores tomar el rango estándar que ya calculan y convertirlo en un valor que refleje el nivel de seguridad contra un atacante cuántico con un límite de tiempo específico. Por ejemplo, si un dispositivo tiene un rango clásico que sugiere que es seguro, el rango consciente de lo cuántico podría mostrar que es en realidad vulnerable porque la computadora cuántica puede encontrar la clave dentro del tiempo permitido. El estudio proporciona fórmulas claras para esta conversión, mostrando que para mantener el mismo nivel de seguridad contra un adversario cuántico, un dispositivo necesita un rango clásico mucho más alto de lo que se pensaba anteriormente. Específicamente, para una computadora cuántica limitada a una profundidad de 2 a la potencia de 40, un dispositivo necesita retener un rango clásico de aproximadamente 2 a la potencia de 74 para ser tan seguro como un dispositivo con un rango clásico de 2 a la potencia de 48.

La investigación también comparó dos formas distintas en las que una computadora cuántica podría usar la información filtrada para encontrar la clave. Un método implica preparar un estado cuántico especial que refleje la probabilidad de cada clave, mientras que el otro consiste en buscar a través de bloques de claves de manera estructurada. El estudio encontró que, en los tipos de fugas de datos que se ven típicamente en ataques del mundo real, estos dos métodos son muy cercanos en rendimiento. El factor decisivo no es qué método es teóricamente más rápido, sino el costo del hardware requerido para implementar el método más complejo. Los investigadores simularon estos ataques en un cifrado pequeño y de juguete, y en modelos realistas de cifrado AES para confirmar sus teorías. Descubrieron que, para un ataque típico con una baja relación señal-ruido, un atacante cuántico con un gran presupuesto de puertas es equivalente a 22 trazas de potencia adicionales para un atacante clásico. En otras palabras, la ventaja cuántica es real, pero es limitada y predecible.

Este trabajo resuelve una tensión en la comunidad de seguridad entre dos visiones conflictivas: una que afirmaba que las computadoras cuánticas ofrecerían una ventaja exponencial súper rápida, y otra que sugería que podrían no ofrecer ninguna ventaja debido a los límites del hardware. El estudio muestra que ambas visiones son correctas, pero se aplican a situaciones diferentes. La ventaja súper rápida es un promedio sobre muchos escenarios posibles, mientras que la ventaja cuadrática limitada es lo que sucede en cualquier ataque individual del mundo real. Al proporcionar una métrica concreta y una comprensión clara de los límites, esta investigación otorga a los evaluadores de seguridad las herramientas necesarias para evaluar con precisión el riesgo de los ataques cuánticos. Mueve la conversación de la especulación al cálculo, asegurando que, a medida que la tecnología cuántica madure, nuestras defensas puedan ajustarse con precisión en lugar de con conjeturas.