이 SoK 논문은 양자 적대자에 대해 이론적으로 최적임이 증명된 XtM(XOR-then-MAC) 결합기가 2025년 3월 기준 어떤 상용 암호 라이브러리에도 구현되지 않은 반면, 보안 보장이 더 약한 HKDF는 조사한 44개 라이브러리 중 91%에 배포되어 있다는 역설을 분석한다. 저자들은 이 격차를 설명하기 위해 인증 강도(A), IETF 표준화 성숙도(P), 구현 복잡도(φ)로 구성된 (A, P, φ) 프레임워크를 제안하며, 이는 관찰 가능한 소프트웨어 공학 지표에 기반해 암호 채택을 예측하는 최초의 반증 가능한 정량 모델이라고 밝힌다. 7개 결합기 계열과 44개 라이브러리에 프레임워크를 적용하고 9개 실제 저장소의 통합 코드량으로 φ를 검증했으며, 2028년까지 검증 가능한 예측을 도출했다. 핵심 결론은 가장 배포하기 쉬운 구성이 반드시 이론적으로 가장 안전한 것이 아니라, 엔지니어가 실제로 통합·감사·유지할 수 있는 가장 안전한 구성이라는 점이다.

• •이론적으로 최적인 XtM 결합기는 어떤 상용 라이브러리에도 구현되지 않았지만, 더 약한 HKDF는 44개 라이브러리 중 91%에 배포되어 있다.
• •인증 강도(A)·표준화 성숙도(P)·구현 복잡도(φ)로 구성된 (A,P,φ) 프레임워크로 암호 채택을 정량적으로 예측한다.
• •9개 실제 저장소의 통합 코드량 데이터로 φ 지표를 검증하고 2028년까지의 예측을 도출했다.
• •실무에서는 이론적 최적 보안보다 엔지니어가 통합·감사·유지할 수 있는 실용성이 채택을 좌우한다는 결론을 제시한다.