Q-LAB-314
Q-LAB-314 es el laboratorio de capacitación y red team en criptografía post-cuántica de I-314. Permite a los equipos técnicos estudiar sus fundamentos, utilizar en la práctica los algoritmos de NIST, evaluar implementaciones y realizar ejercicios de ataque controlados en un entorno aislado.
Capacitación práctica basada en evidencia
La plataforma combina la teoría con el trabajo práctico sobre los algoritmos y las librerías reales, y documenta la evidencia que respalda cada estimación de seguridad.
Matemática interactiva
Simulaciones interactivas que explican los retículos, el ruido y el problema Learning With Errors.
Herramientas de producción
Los laboratorios utilizan versiones actuales de OpenSSL y de las librerías de referencia.
Evidencia documentada
Cada estimación de seguridad se presenta con su fuente y su nivel de madurez, incluidos los casos en que modelos y mediciones difieren.
Módulos de la plataforma
Amenaza y fundamentos
Introducción a los algoritmos de Shor y Grover y a la amenaza harvest-now-decrypt-later, seguida de seis simulaciones interactivas: CVP, retículos, ruido, LWE, Module-LWE y K-PKE.
Estimador de seguridad
Estimación del costo de ataque para los conjuntos de parámetros ML-KEM-512, ML-KEM-768 y ML-KEM-1024, validada contra el Lattice Estimator de referencia.
Laboratorio práctico
Firmas ML-DSA, cifrado KEM con AES-256-GCM, certificados X.509 post-cuánticos, TLS 1.3 híbrido (X25519MLKEM768), comparación de rendimiento con RSA y ECC, y ejemplos de integración.
Evaluación de implementaciones
Comparación de librerías contra los vectores de prueba NIST ACVP y pruebas de validación de entradas. La investigación de I-314 identificó librerías que aceptan claves públicas malformadas que otras rechazan.
Ejercicios de ataque controlados
Ejercicios de tipo capture-the-flag basados en criptoanálisis publicado, que incluyen el uso indebido de nonces y semillas, canales laterales de tiempo y construcciones híbridas débiles. Cada ejercicio se completa con la flag, la evidencia, la causa raíz y la mitigación.
Ejercicio de mesa “Día Q”
Sesión facilitada de 60 a 90 minutos para entre 6 y 12 directivos, que utiliza el teorema de Mosca para priorizar los sistemas a migrar.
Estimaciones de seguridad
Estimaciones base de seguridad clásica para ML-KEM calculadas en la plataforma, expresadas en bits. Los participantes pueden reproducir estas cifras en el módulo de simulación.
| Modelo | ML-KEM-512 | ML-KEM-768 | ML-KEM-1024 |
|---|---|---|---|
| Core-SVP | 118,6 | 182,2 | 255,2 |
| Hybrid-dual (modelo MATZOV) | 139,7 | 196,4 | 262,3 |
Las estimaciones son resultados de modelos y no constituyen pruebas de seguridad. La plataforma presenta cada estimación con su fuente y su nivel de madurez.
Público objetivo
La plataforma se entrega como un entorno dedicado y aislado para cada organización. Los ejercicios de ataque se realizan exclusivamente sobre sistemas de prueba deliberadamente vulnerables.
Ingenieros de criptografía y seguridad
Laboratorios, evaluación de implementaciones y ejercicios de red team.
Arquitectos y desarrolladores
TLS híbrido, certificados post-cuánticos, rendimiento y patrones de integración.
CISOs y directivos
Plazos de la amenaza, el ejercicio Día Q y la planificación de la migración.
Programas de capacitación post-cuántica
I-314 adapta la plataforma y el programa a los equipos, el sector y el plan de migración de cada organización.