"축소 라운드 AES에 대한 추가 단일 키 복구 공격"을 위한 아티팩트

논문에서 인용된 모든 실험의 소스 코드. 측정 출력이나 미리 빌드된 표는 포함되지 않는다. 각 프로그램이 자체 결과를 출력하거나 기록하므로, 모든 수치를 처음부터 재생성할 수 있다.

디렉터리	설명
experiments/	측정 비용 부록에 있는 두 실험: SR(7,2,2,6)에 대한 완전한 블랙박스 키 복구, 그리고 실제 7라운드 AES-128 공격의 항목별 / 후보별 측정
c/	독립 실행형 C 프로그램, 구성 요소 주장별로 하나씩 (브리지, 지문, DDT-Gray 순회, S-box 캐시, 오답 키 무작위화, 조회 하한)
python/	Python 단일 주장 검사 및 공격 계층의 교육용 참조 구현 (python/a1/)
rust/	구성 요소 실험(e1–e13)의 두 번째 독립 구현
figures/	C 프로그램이 작성한 TSV를 소비하는 플로팅 스크립트
lean/	χ★ 위양성 카운팅 경계의 Lean 4 + Mathlib 형식화 (lean/chi-fp/, 논문 §5.5)

논문의 키 복구 주장은 experiments/에 기반한다. c/, python/, rust/는 개별 구성 요소(항등식, 불변성, DDT 사실, 캐시 정확성, 무작위화 통계)를 검사하며 공격이 아니다.

experiments/

experiments/README.md 참조.

• sr7226-e2e/ — AES SR(7,2,2,6)(2x2 상태, 6비트 워드, 24비트 키)에 대한 완전한 블랙박스 키 복구로, 전체 오프라인 표를 포함하며, 하나의 코드 베이스에서 세 가지 변형을 다룬다: 우리 것, 우리의 표 열거 최적화를 적용한 Derbez–Fouque–Jean, 그리고 발표된 그대로의 Derbez–Fouque–Jean.
• aes128-measured/ — 실제 7라운드 AES-128 공격을 한 단위씩: 실제 오프라인 표 항목(부분 표), 세 변형에 대한 온라인 후보당 사이클, AES 분모, 정렬된 지문의 위양성 및 커버리지 비율, 그리고 전체 개수로의 투영.

c/

단일 파일 또는 디렉터리별 자체 포함; gcc -O3 -march=native -fopenmp -o <bin> <file.c> -lm로 빌드한다(로컬 헤더가 사용되는 경우 디렉터리를 -I로 추가). 사용법은 각 파일의 헤더 주석에 문서화되어 있다.

경로	검사 내용	논문 위치
clump.c, chi_clump.c	I_{m,n} 및 χ★ 지문의 충돌 엔트로피	지문 속성; 부록 충돌 엔트로피
wrongkey.c	오답 키 무작위화, k_6의 완전한 2^32 스윕	부록 오답 키 무작위화
fp_solve.c	표 구성에 사용되는 DDT 해법 및 분기 비트 열거	§DDT-Gray
bridge-consistency/bc_impl_{a,b}.c, bc_truehit.c	브리지 일관성 위양성 통계의 두 독립 구현	Alg. BridgeConsistency
ddt-gray/ddt_gray_*.c	DDT 인식 Gray 순회: 증분이 콜드 재계산과 동일, 상각된 S-box 비용, 타이밍	§DDT-Gray, 부록 DDT-Gray
sb-cache/sbc_repro.c	W / UU S-box 캐시 뒤의 XOR 분리성; c_iSB 닫힌 형식	§S-box 캐시
mobius-honest/honest_online.c	|K_on| = 8인 온라인 측: k_{-1}만으로 재구성된 δ-집합, 그리고 오답 키 생존율	§구성 요소 보조정리
mobius-honest/honest_rebound.c, degen_analysis.c, saes_imn.c	소규모 AES에서 오프라인 리바운드 및 I_{m,n} 매칭의 파이프라인 검사; 알려진 키 지름길은 각 헤더에 문서화되어 있음 — 이들은 파이프라인 검사이며 키 복구가 아님	§구성 요소 보조정리, 부록 퇴화 사례
floor/verify_ls_fp.c, floor/verify_incompat.c, floor/a1_floor.py	|K_on| = 8에 대한 조회 하한: dim LS(fp) ∈ {0,8} 및 T ≥ 2^88.67	부록 하한

python/

Python 3. python/a1/은 표준 라이브러리만 사용합니다. 최상위 테스트 스크립트, figures/, experiments/aes128-measured/phi/에는 numpy, scipy, matplotlib이 필요합니다(pip install -r requirements.txt, 검증된 정확한 버전). python/a1/README.md는 계층화된 참조 구현(gf256.py, aes7r.py, chi_canon.py, prop2.py, test_vectors.py의 골든 벡터)을 설명합니다. 최상위 스크립트는 단일 주장 검증입니다: 브리지 불변식(test_invariants.py, verify_Imn.py), 실제 AES 트레이스에 대한 브리지(test_bridge_aes.py), 0^{-1} 경계 동작(test_zeroinv.py), 잘못된 키 무작위화(test_wrongkey.py), 클럼핑 / 충돌 엔트로피(test_clumping*.py), CompleteKey 뒤의 키 스케줄 역산(keysched_solve.py), 그리고 지문 접두사 오탐 데모(fp_concat_demo.py)입니다.

rust/

cargo build --release를 실행한 다음 ./target/release/repro <exp> [args]를 실행합니다. 각 실행은 rust/results/ 아래에 타임스탬프가 붙은 블록을 추가합니다. 실험 목록과 각 실험이 검증하는 내용은 rust/src/main.rs에 있습니다: e1–e13은 브리지 항등식, 군 및 코셋 사실, 실제 AES-128 트레이스에 대한 정직한 브리지, 잘못된 키 무작위화, 충돌 엔트로피, χ★ 불변성, DDT 스펙트럼, AES 정상성 검사, 항목별 타이밍, 그리고 SR(7,4,4,4) 파이프라인을 다룹니다.