컴파일된 바이너리 코드만으로 양자 취약 암호 알고리즘이 승인된 후양자암호(PQC)로 교체됐는지 검증할 방법이 없다는 문제에서 출발한 연구다. 연구진은 심볼·라이브러리 정보가 제거된 스트립 바이너리에서도 표준 격자기반 암호 ML-KEM과 ML-DSA를 식별하는 정적 분석 도구 커스트렐(Kestrel)을 제시했다. 커스트렐은 수치이론변환(NTT) 상수 테이블 지문을 정규화·다중집합 매칭으로 탐지하며, 4개의 독립 구현 계열과 컴파일러 난독화를 포함한 모든 빌드 변형에서 128개 중 128개 재현율에 오탐 0건을 기록했다. 실제 운영 리눅스 시스템의 바이너리 6,224개에 적용해 OpenSSH 키교환 프로그램 등 목록에 없던 ML-KEM 사용 프로그램 12개를 발견했으며, 삭제된 바이너리도 디스크 미할당 공간에서 탐지에 성공했다.
- •스트립·정적링크·최적화된 바이너리에서도 ML-KEM·ML-DSA를 식별하는 정적분석 도구 Kestrel
- •NTT(수치이론변환) 상수 테이블 지문을 정규화·다중집합 매칭으로 탐지
- •4개 구현 계열·모든 빌드 변형에서 재현율 128/128, 오탐 0건
- •운영 리눅스 시스템 6,224개 바이너리 중 미공개 ML-KEM 사용 프로그램 12개 발견(OpenSSH 키교환 등)
- •삭제된 바이너리도 디스크 미할당 공간에서 포렌식으로 탐지 성공
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance
- 1.스트립된 바이너리에서 후양자암호(ML-KEM·ML-DSA) 채택 여부를 정적 분석으로 검증하는 도구 Kestrel 공개
- 2.수론적변환(NTT) 상수테이블을 지문으로 삼아 정적링킹·컴파일러 난독화에도 128/128 재현율, 오탐 0건 달성
- 3.실제 리눅스 시스템 바이너리 6224개 분석해 OpenSSH 키교환·컨테이너 관리 스택 등 미카탈로그 후양자암호 적용 12건 발견
- 4.삭제된 바이너리도 포렌식 디스크 이미지의 미할당 영역에서 탐지 복구 성공
왜 중요한가?
양자컴퓨터 대비 암호전환이 진행 중인 상황에서, 소스코드 없이도 실제 배포된 바이너리가 후양자암호를 도입했는지 검증할 실용 수단을 제공해 소프트웨어 공급망 암호전환 감사에 직접 활용 가능하다.
본문 미리보기
arXiv:2608.25122v1 Announce Type: new Abstract: Currently, there is no method to verify from compiled binary code whether a quantum-vulnerable algorithm has been replaced by an approved post-quantum algorithm. Cryptographic discovery tools identify algorithms by symbols, library dependencies, and runtime behaviour; however, all these signals are destroyed by stripping, statically linking, and optimising a binary. This paper presents Kestrel, a static analysis method for identifying the standard
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안
