[논문 리뷰] Envisioning the Future of Cyber Security in Post-Quantum Era: A Survey on PQ Standardization, Applications, Challenges and Opportunities

Saleh Darzi, Kasra Ahmadi외 3명|arXiv (Cornell University)|2023. 10. 18.

Cryptographic Implementations and Security인용 수 7

한 줄 요약

이 논문은 양자 이후 암호화(PQC)에 대한 종합적인 서베이를 제공하며, 격자 기반, 해시 기반, 코드 기반, 이소지니 기반, 다항식 기반 암호화 기법에 걸쳐 NIST에서 표준화한 및 최종 후보 PQC 기법을 분석한다. 보안, 성능, 사이드 채널 내성, 표준화 지표를 평가하여, 사물인터넷(IoT), 블록체인, 머신러닝 등 다양한 분야에서 요구되는 상충되는 요건으로 인해 애플리케이션 특화 PQC 설계가 필수적임을 결론 내린다.

ABSTRACT

The rise of quantum computers exposes vulnerabilities in current public key cryptographic protocols, necessitating the development of secure post-quantum (PQ) schemes. Hence, we conduct a comprehensive study on various PQ approaches, covering the constructional design, structural vulnerabilities, and offer security assessments, implementation evaluations, and a particular focus on side-channel attacks. We analyze global standardization processes, evaluate their metrics in relation to real-world applications, and primarily focus on standardized PQ schemes, selected additional signature competition candidates, and PQ-secure cutting-edge schemes beyond standardization. Finally, we present visions and potential future directions for a seamless transition to the PQ era.

연구 동기 및 목표

• NIST의 선정 과정과 평가 지표에 초점을 맞춰 양자 이후 암호화(PQC) 표준화의 현황을 분석하기.
• 표준화된 및 최종 후보 PQC 기법의 보안, 성능, 사이드 채널 취약성 평가하기.
• 기존 시스템(예: 스마트 그리드, IoT, 블록체인)을 PQC로 전환하는 데 있어 도전 과제와 요구사항 파악하기.
• 머신러닝, 블록체인, 임베디드 시스템과 같은 분야에서의 애플리케이션 특화 PQC 수요 탐색하기.
• 암호 유연성(crypto-agility)과 양자 이후 시대로의 안정적 이행을 위한 향후 연구 방향 예측하기.

제안 방법

• NIST PQC 최종 후보 및 대체 기법에 대한 체계적 분석을 수행하여 수학적 기초와 설계 구조 평가하기.
• 어려운 문제(예: 오차를 고려한 학습(LWE), 코드 기반 문제, SIKE)의 형식적 분석을 통해 보안 성질 평가하기(양자 공격에 대한 저항성 포함).
• 성능 벤치마크 및 사이드 채널 방지 기법 통합을 통해 구현 효율성과 사이드 채널 취약성 평가하기.
• 실세계 응용 제약 조건(예: IoT, 블록체인, ML)에 맞춰 평가 지표(예: 키 크기, 서명 크기, 런타임) 매핑하기.
• 암호 유연성과 조기 이행을 강조하여 애플리케이션 특화 PQC 도입 프레임워크 제안하기. 이를 통해 SNDL 공격 위험을 최소화하기.
• Dilithium를 영감으로 삼은 사이드 채널 내성 있는 격자 기반 서명 기법인 Raccoon과 같은 비표준 PQC 접근법 탐색하기.

Figure 1. The time required for encapsulation, decapsulation, and key generation for Lattice based schemes on NIST’s $4^{th}$ round KEMs. The figure on the left corresponds to ARM platforms, while the figure on the right pertains to Intel platforms.

실험 결과

연구 질문

• RQ1 NIST에서 표준화한 PQC 기법들 간의 보안, 성능, 사이드 채널 내성에서의 주요 차이점은 무엇인가?
• RQ2 사물인터넷(IoT), 블록체인, 머신러닝 시스템에서의 애플리케이션 특화 요구사항(예: 크기, 속도, 프라이버시)이 일반 목적의 PQC 표준과 어떻게 충돌하는가?
• RQ3 사이드 채널 내성을 설계 단계에서 통합할 수 있는 정도는 어느 정도이며, 후속 구현 후 패치로는 어느 정도 한계가 있는가?
• RQ4 저장-지금-해독-나중(SNDL) 공격이 장기적 데이터 기밀성에 미치는 영향은 무엇이며, 대규모 양자 컴퓨터가 존재하기 전에도 PQC로의 이행이 얼마나 긴급한가?
• RQ5 모든 실세계 응용 분야에 적합한 단일 표준 PQC 기법은 가능한가, 아니면 애플리케이션 특화 PQC 개발은 피할 수 없는가?

주요 결과

• NIST의 표준화 과정은 보안과 효율성의 균형을 고려해 주로 격자 기반 기법인 Kyber(KEM)와 Dilithium(서명)을 주요 후보로 선정하였다.
• 사이드 채널 공격은 여전히 PQC 구현에 대한 주요 위협이며, 사전에 사이드 채널 내성을 고려해 설계된 기법(예: Raccoon)은 기존 기법의 강화보다 더 높은 효율성을 보였다.
• 저장-지금-해독-나중(SNDL) 공격은 장기적 데이터 기밀성에 심각한 위협을 가하며, 대규모 양자 컴퓨터가 존재하기도 전에 PQC로의 이행이 급한 필요성이 있다.
• 다양한 응용 분야에서 요구하는 조건를 동시에 충족하는 단일 PQC 기법은 존재하지 않는다: 사물인터넷(IoT)은 저비용과 저에너지 소비를 우선시하고, 블록체인은 작고 효율적인 서명을 요구하며, 머신러닝은 강력한 프라이버시 보존 기반 원리가 필요하다.
• 일반 목적의 PQC 표준화는 필요하지만 충분하지 않으며, 표준화 이후 전용 PQC 경쟁과 애플리케이션 특화 기법 개발이 뒤이어 발생할 가능성이 높다.
• 암호 유연성(crypto-agility)—새로운 암호 체계로의 신속한 이행 능력—은 필수적이며, 양자 이후 시대의 장기적 시스템 내성 확보를 위해 우선시되어야 한다.

Figure 2. The time required for signing, verifying, and key generation for Lattice based schemes on NIST’s $4^{th}$ round signatures. The figure on the left corresponds to ARM platforms, while the figure on the right pertains to Intel platforms.