Noise-limited secret key agreement with twin optical physically unclonable functions

Resumen Técnico: Acuerdo de clave secreta limitado por ruido con funciones físicas de un solo uso ópticas gemelas

Planteamiento del problema
Las Funciones Físicas de un Solo Uso (PUFs, por sus siglas en inglés) aprovechan la aleatoriedad inducida por la fabricación para generar huellas digitales únicas de los dispositivos, ofreciendo una resistencia intrínseca a la clonación. Aunque las PUFs Ópticas (O-PUFs) son prometedoras para la autenticación y el almacenamiento de claves, establecer una clave secreta común entre dos usuarios distintos sigue siendo un desafío. Los enfoques tradicionales suelen depender de bases de datos de registro de confianza, la transferencia física de dispositivos o la transmisión de desafíos ópticos, lo que introduce vulnerabilidades logísticas y de seguridad. Además, aunque demostraciones experimentales recientes han mostrado la viabilidad de fabricar O-PUFs "gemelas" (pares de dispositivos con respuestas altamente correlacionadas), las condiciones de información teórica para extraer una clave secreta segura de estos dispositivos correlacionados bajo condiciones de ruido realistas no han sido cuantificadas rigurosamente. Específicamente, existe una falta de análisis respecto al impacto de la variabilidad de fabricación, el ruido ambiental, la fuga de datos auxiliares y la sobrecarga de reconciliación de errores sobre la longitud de la clave secreta alcanzable.

Metodología
Los autores proponen una plataforma basada en hardware para la generación de claves criptográficas utilizando O-PUFs gemelas. La metodología consiste en:

1. Modelado Físico: La O-PUF se modela como un proceso de dispersión lineal donde un token desordenado transforma un campo de luz de entrada en un patrón de speckle. La matriz de transmisión $T$ del token se trata como una variable compleja gaussiana aleatoria.
2. Simulación de PUF Gemela: Para modelar dispositivos gemelos, los autores introducen una matriz de transmisión de referencia neutral $T^{(0)}$. Se generan dos matrices gemelas, $T^{(A)}$ y $T^{(B)}$, añadiendo perturbaciones gaussianas complejas independientes a $T^{(0)}$. Esto simula la variabilidad inducida por la fabricación ($\sigma_F$) y el ruido ambiental ($\sigma_E$) sin asumir que un dispositivo es una copia del otro.
3. Extracción de Clave: Los patrones de speckle ópticos se procesan mediante filtros de Gabor y umbralización de la mediana para generar claves brutas binarias ($k_A$ y $k_B$) de longitud $n$. La diferencia entre estas claves se cuantifica mediante la Tasa de Error de Bit (BER), denotada como $Q$.
4. Protocolo de Información Teórica: Se desarrolla un protocolo explícito de acuerdo de claves que consta de tres etapas:
   • Esquema Seguro (Reconciliación de Errores): Alice computa un síndrome (dato auxiliar) $s_A$ a partir de su clave bruta utilizando un código de corrección de errores lineal (por ejemplo, BCH) y lo envía a Bob. Bob utiliza $s_A$ para corregir los errores en su clave bruta $k_B$ para recuperar $k_A$.
   • Amplificación de la Privacidad: Ambas partes aplican una función de hash de dos universos a sus claves reconciliadas para eliminar la información filtrada a través del síndrome público, produciendo una clave secreta final.
5. Análisis de Seguridad: La seguridad se analiza frente a un adversario pasivo con acceso al canal público pero sin acceso físico a las PUFs. Los autores derivan cotas inferiores en la longitud de la clave secreta final $\ell$ utilizando la entropía mínima condicional $H_{\min}(k_A | s_A)$ y el Lema del Hash Remanente (Leftover Hash Lemma).

Contribuciones Clave

• Protocolo Explícito: El artículo presenta un protocolo completo y explícito de acuerdo de claves de información teórica para PUFs gemelas, integrando esquemas seguros, reconciliación de errores y amplificación de la privacidad.
• Cotas Cuantitativas: Los autores derivan cotas cuantitativas inferiores sobre la longitud de la clave secreta final en función de la longitud de la clave bruta, la tasa de error ($Q$) y la redundancia del código de corrección de errores.
• Análisis de Regímenes de Ruido: El estudio identifica regímenes de ruido específicos (definidos por las desviaciones estándar de fabricación y ambiental) donde el acuerdo de clave segura es factible. Demuestra que para niveles de ruido moderados ($\sigma_F, \sigma_E \lesssim 0.14$), la BER resultante es lo suficientemente baja ($Q \lesssim 0.1$) como para permitir una reconciliación eficiente con códigos estándar como BCH.
• Comparación de Esquemas de Codificación: El trabajo compara códigos prácticos (BCH) con esquemas cercanos a la capacidad (LDPC, códigos polares). Muestra que, si bien los códigos BCH son efectivos en regímenes de bajo ruido, los códigos cercanos a la capacidad son necesarios para mantener tasas de clave positivas en regímenes de alto ruido ($Q > 0.1$).
• Integración con QKD: El artículo propone una aplicación específica donde las O-PUFs gemelas sirven como un mecanismo para establecer una clave precompartida inicial para sistemas de Distribución de Claves Cuánticas (QKD), abordando el problema del arranque (bootstrapping) sin depender de supuestos computacionales o bases de datos de terceros de confianza.

Resultados

• Viabilidad: El acuerdo de clave segura es factible cuando la fabricación y el ruido ambiental se controlan de modo que la BER se mantenga por debajo de aproximadamente 0.1. En este régimen, la redundancia requerida para la corrección de errores es manejable (por ejemplo, para $n=1023$, la redundancia es aproximadamente del 70% para $Q \approx 0.07$).
• Estimaciones de Longitud de Clave: Para una longitud de clave bruta de $n=1023$ y un parámetro de seguridad $\epsilon = 2^{-25}$, el protocolo produce longitudes de clave secreta positivas en regímenes de ruido bajo a moderado. Por ejemplo, para $Q=0.07$, un código BCH produce una clave final de aproximadamente 253 bits.
• Límites de Alto Ruido: En regímenes de alto ruido ($Q > 0.1$), los códigos BCH estándar fallan en producir longitudes de clave positivas debido a la redundancia excesiva. Sin embargo, los esquemas de reconciliación cercanos a la capacidad (con factores de ineficiencia $f \approx 1.05$) aún pueden producir longitudes de clave positivas incluso en $Q=0.3$, siempre que la longitud de la clave bruta sea lo suficientemente grande como para compensar las penalizaciones de tamaño finito.
• Autenticación: Los autores señalan que, si bien las PUFs físicas son seguras, el canal de comunicación clásica debe estar autenticado para prevenir ataques activos (por ejemplo, man-in-the-middle) que podrían desincronizar las claves o sesgar la amplificación de la privacidad. No obstante, en el contexto específico de la siembra de QKD, un desajuste causado por una manipulación simplemente abortaría la sesión de QKD, preservando la seguridad del propio protocolo QKD.

Significancia y Reivindicaciones
El artículo afirma ser el primer trabajo que combina un modelo físico de O-PUFs gemelas correlacionadas con un protocolo explícito de acuerdo de claves de información teórica que incluye un análisis de fuga cuantitativo. Los autores enfatizan que su marco es independiente de la plataforma y puede aplicarse a otras tecnologías de PUF correlacionadas (como las PUFs basadas en nanotubos de carbono) siempre que generen claves binarias suficientemente similares.

La significancia del trabajo radica en proporcionar una base teórica rigurosa para el uso de las PUFs gemelas en aplicaciones criptográficas. El estudio va más allá de las demostraciones experimentales de correlación para definir los umbrales de ruido específicos y los requisitos de codificación necesarios para una generación de claves segura. Los autores posicionan los umbrales de BER derivados no como limitaciones fundamentales del concepto de la PUF gemela, sino como objetivos de rendimiento para implementaciones prácticas. Argumentan que las mejoras en la fabricación y la corrección de errores pueden reducir la BER efectiva, ampliando así el rango de aplicaciones factibles. Finalmente, el artículo destaca el potencial de las PUFAs gemelas para resolver el problema de la distribución de claves inicial en redes QKD sin depender de supuestos computacionales, ofreciendo una alternativa basada en hardware a las claves precompartidas almacenadas en bases de datos.