Skip to content
KitploitKITPLOIT
HerramientasBlog
Enviar
HerramientasBlog
Enviar

¡Herramientas de Hacking, PenTest y Ciberseguridad para tu Arsenal de Seguridad!

Kitploit es un directorio de herramientas de hacking, ciberseguridad y pentesting. Descubre las últimas actualizaciones de proyectos para encontrar vulnerabilidades, analizar sistemas, automatizar pruebas y fortalecer tu seguridad.

··Feeds·Contacto·Privacidad·© 2026 Kitploit

Directorio de Herramientas

Categorías

Ver todas las categorías
Loading categories
cryptography-research-demo — Artefactos de criptoanálisis reproducibles para ataques de recuperación de clave única en AES de rondas reducidas, incluyendo recuperación de clave de caja negra, búsqueda DDT-Gray, cachés de S-box y pruebas formales en Lean. | Kitploit
Herramientas/GitHubGitHub/anthropics/cryptography-research-demo
Análisis de VulnerabilidadesCriptografíaPapers e InvestigaciónAprendizaje y Educación
GitHubanthropics/cryptography-research-demo

cryptography-research-demo

Artefactos de criptoanálisis reproducibles para ataques de recuperación de clave única en AES de rondas reducidas, incluyendo recuperación de clave de caja negra, búsqueda DDT-Gray, cachés de S-box y pruebas formales en Lean.

Ver Repositorio

Más Populares

Ver todos →

Descubre las herramientas más usadas por nuestra comunidad.

Explora todas las herramientas

Explora nuestra colección de herramientas

Ver todas las herramientas →
Compartir
607hace 22 díasRevisado por Kitploit

Artefactos para "Further Single-Key Recovery Attacks on Reduced-Round AES"

Código fuente de cada experimento citado en el artículo. No se incluye ninguna salida de medición ni tabla preconstruida: cada programa imprime o escribe sus propios resultados, de modo que cada número puede regenerarse desde cero.

directorioqué es
experiments/los dos experimentos que respaldan el apéndice de costes medidos: la recuperación completa de clave en caja negra sobre SR(7,2,2,6), y las mediciones por entrada / por candidato del ataque real a AES-128 de 7 rondas
c/programas C independientes, uno por afirmación de componente (puente, huellas dactilares, paseo de Gray por DDT, cachés de S-box, aleatorización de clave errónea, suelo de búsqueda)
python/comprobaciones individuales en Python y la implementación de referencia pedagógica de las capas del ataque (python/a1/)
rust/una segunda implementación independiente de los experimentos de componentes (e1–e13)
figures/scripts de trazado que consumen los TSV escritos por los programas C
lean/formalización en Lean 4 + Mathlib de la cota de falsos positivos de χ★ (lean/chi-fp/, §5.5 del artículo)

Las afirmaciones de recuperación de clave del artículo se apoyan en experiments/; c/, python/ y rust/ comprueban los componentes individuales (identidades, invarianzas, hechos sobre DDT, corrección de caché, estadísticas de aleatorización) y no son ataques.

experiments/

Ver experiments/README.md.

  • sr7226-e2e/ — recuperación completa de clave en caja negra sobre AES SR(7,2,2,6) (estado 2x2, palabras de 6 bits, clave de 24 bits) con la tabla offline completa, para tres variantes sobre una misma base de código: la nuestra, Derbez–Fouque–Jean con nuestras optimizaciones de enumeración de tablas, y Derbez–Fouque–Jean tal como se publicó.
  • aes128-measured/ — el ataque real a AES-128 de 7 rondas, una unidad cada vez: entradas genuinas de la tabla offline (tabla parcial), ciclos por candidato online para las tres variantes, los denominadores de AES, las tasas de falsos positivos y de cobertura de la huella dactilar ordenada, y la proyección al recuento completo.

c/

De un solo archivo o autocontenidos por directorio; compilar con gcc -O3 -march=native -fopenmp -o <bin> <file.c> -lm (añadir el directorio como -I cuando se use un encabezado local). El uso se documenta en el comentario de cabecera de cada archivo.

python/

Python 3. python/a1/ usa solo la biblioteca estándar; los scripts de prueba de nivel superior, figures/ y experiments/aes128-measured/phi/ necesitan numpy, scipy y matplotlib (pip install -r requirements.txt, versiones exactas verificadas). python/a1/README.md describe la implementación de referencia por capas (gf256.py, aes7r.py, chi_canon.py, prop2.py, los vectores dorados en test_vectors.py). Los scripts de nivel superior son comprobaciones de una sola afirmación: invariantes de puente (test_invariants.py, ), el puente sobre trazas AES reales (), comportamiento en el borde de (), aleatorización de clave errónea (), agrupamiento / entropía de colisión (), la inversión del programa de claves tras CompleteKey (), y la demo de falsos positivos de prefijo de huella dactilar ().

rust/

cargo build --release y luego ./target/release/repro <exp> [args]; cada ejecución añade un bloque con marca de tiempo bajo rust/results/. La lista de experimentos y qué comprueba cada uno está en rust/src/main.rs: e1–e13 cubren la identidad de puente, hechos de grupo y coconjuntos, el puente honesto sobre trazas reales de AES-128, aleatorización de clave errónea, entropía de colisión, invarianza de χ★, el espectro de DDT, cordura de AES, temporización por entrada y la tubería SR(7,4,4,4).

Descargar herramienta
rutacompruebaubicación en el artículo
clump.c, chi_clump.centropía de colisión de las huellas dactilares I_{m,n} y χ★propiedades de huella dactilar; ap. entropía de colisión
wrongkey.caleatorización de clave errónea, barrido exhaustivo de 2^32 de k_6ap. aleatorización de clave errónea
fp_solve.cresolución de DDT y enumeración de bits de rama usada en la construcción de la tabla§DDT-Gray
bridge-consistency/bc_impl_{a,b}.c, bc_truehit.cdos implementaciones independientes del estadístico de falso acepte de consistencia de puenteAlg. BridgeConsistency
ddt-gray/ddt_gray_*.cpaseo de Gray consciente de DDT: recomputación en frío frente a incremental, coste amortizado de S-box, temporización§DDT-Gray, ap. DDT-Gray
sb-cache/sbc_repro.cseparabilidad XOR tras las cachés de S-box W / UU; forma cerrada de c_iSB§Cachés de S-box
mobius-honest/honest_online.cel lado online con |K_on| = 8: el δ-set reconstruido solo desde k_{-1}, y la tasa de supervivientes de clave errónea§lemas de componentes
mobius-honest/honest_rebound.c, degen_analysis.c, saes_imn.ccomprobaciones de tubería del rebote offline y del emparejamiento de I_{m,n} en AES a pequeña escala; los atajos de clave conocida se documentan en cada cabecera — son comprobaciones de tubería, no recuperaciones de clave§lemas de componentes, ap. casos degenerados
floor/verify_ls_fp.c, floor/verify_incompat.c, floor/a1_floor.pyel suelo de búsqueda para |K_on| = 8: dim LS(fp) ∈ {0,8} y T ≥ 2^88.67ap. cota inferior
verify_Imn.py
test_bridge_aes.py
0^{-1}
test_zeroinv.py
test_wrongkey.py
test_clumping*.py
keysched_solve.py
fp_concat_demo.py