[논문 리뷰] Algorithmic Security is Insufficient: A Comprehensive Survey on Implementation Attacks Haunting Post-Quantum Security

Alvaro Cintas Canto, Jasmin Kaur외 2명|arXiv (Cornell University)|2023. 05. 22.

Cryptographic Implementations and Security인용 수 6

한 줄 요약

이 종합 검토는 2022년 NIST에서 표준화한 후량자 암호(PQC) 알고리즘이 양자 공격에 대한 강력한 알고리즘적 보안을 지님에도 불구하고, 특히 측면채널 공격(SCA)에 여전히 취약하다고 규명한다. 이 연구는 Kyber, Dilithium, Falcon, HQC와 같은 NIST 최종 후보자들에 대한 수동 및 능동형 SCA—예를 들어 전력, 시간, 결함 공격—를 분석하고, 마스킹, 오류 검출, 결함에 강한 아키텍처와 같은 대응 조치를 평가하며, 마이크로컨트롤러에서 10,000 건 이내의 추적 수로 기밀 키를 완전히 복구할 수 있음을 입증한다.

ABSTRACT

This survey is on forward-looking, emerging security concerns in post-quantum era, i.e., the implementation attacks for 2022 winners of NIST post-quantum cryptography (PQC) competition and thus the visions, insights, and discussions can be used as a step forward towards scrutinizing the new standards for applications ranging from Metaverse, Web 3.0 to deeply-embedded systems. The rapid advances in quantum computing have brought immense opportunities for scientific discovery and technological progress; however, it poses a major risk to today's security since advanced quantum computers are believed to break all traditional public-key cryptographic algorithms. This has led to active research on PQC algorithms that are believed to be secure against classical and powerful quantum computers. However, algorithmic security is unfortunately insufficient, and many cryptographic algorithms are vulnerable to side-channel attacks (SCA), where an attacker passively or actively gets side-channel data to compromise the security properties that are assumed to be safe theoretically. In this survey, we explore such imminent threats and their countermeasures with respect to PQC. We provide the respective, latest advancements in PQC research, as well as assessments and providing visions on the different types of SCAs.

연구 동기 및 목표

• 2022년 NIST 후량자 암호(PQC) 최종 후보자들에 대한 구현 공격—특히 측면채널 공격(SCA)의 위협 환경을 분석하기 위해.
• PQC 구현에 대한 수동 및 능동형 측면채널 공격, 즉 전력 분석, 시간 분석, 결함 주입의 타당성과 영향을 평가하기 위해.
• 마스킹, 오류 검출, 결함에 강한 설계와 같은 기존 대응 조치가 PQC 알고리즘의 SCA에 대한 보안에 얼마나 기여하는지 평가하기 위해.
• 웹 3.0, 메타버스, 임베디드 시스템과 같은 실세계 응용 분야에서 신규로 등장하는 PQC 표준을 보호하기 위한 통찰력과 권고 사항을 제공하기 위해.
• 후량자 암호 시스템에서 이론적 알고리즘 보안과 실질적 구현 취약성 사이의 격차를 부각하기 위해.

제안 방법

• NIST PQC 최종 후보자들인 Kyber, Dilithium, Falcon, HQC, SPHINCS+를 대상으로 한 측면채널 공격 벡터에 대한 체계적 검토 및 분석.
• ARM Cortex-M4 마이크로컨트롤러 및 FPGA에서 실행되는 구현에 대한 수동 공격, 즉 전력 분석 및 시간 측면채널 분석 평가.
• 유한체 승수기 및 키 생성 모듈에서의 차등 결함 분석(DFA) 및 결함 주입과 같은 능동 공격 조사.
• CRC 기반 결함 검출, 패리티 및 해밍 코드 오류 검출, 측면채널 구분자에 대한 마스킹 기반 방어와 같은 대응 조치의 구현 및 벤치마킹.
• 최소한의 추적 수로 키 복구를 유도하기 위한 측면채널 오라클—예를 들어 평문 확인 오라클 또는 복호화 응답 오라클—의 활용.
• 하드웨어 실험을 통한 공격 및 대응 조치의 실증적 검증—FPGA 및 마이크로컨트롤러 플랫폼에서 추적 수와 오버헤드 측정.

실험 결과

연구 질문

• RQ1 PQC 최종 후보자들이 양자 공격에 대한 알고리즘적 저항력을 지니고 있음에도 불구하고, NIST의 2022년 PQC 최종 후보자들이 측면채널 공격에 얼마나 취약한가?
• RQ2 시간, 전력, 결함 기반 측면채널 공격이 PQC 구현으로부터 기밀 키를 복구하는 데 얼마나 효과적인가?
• RQ3 HQC 및 Kyber와 같은 PQC 알고리즘에서 성공적인 측면채널 키 복구를 위해 필요한 최소한의 추적 또는 쿼리 수는 얼마인가?
• RQ4 마스킹, 오류 검출, 결함에 강한 아키텍처와 같은 대응 조치가 PQC 시스템의 측면채널 취약성을 어떻게 완화하는가?
• RQ5 임베디드 시스템과 같은 자원 제약 환경에서 이러한 대응 조치의 성능 및 하드웨어 오버헤드는 어떠한가?

주요 결과

• ARM Cortex-M4 마이크로컨트롤러에서 10,000 건 이내의 전력 추적 수로 HQC 암호 체계에서 기밀 키를 완전히 복구함.
• Intel SGX에서 캐시 기반 시간 분석 평문 확인 오라클 공격은 이전 시간 공격보다 훨씬 적은 53,857개의 쿼리로 수행되었으며, 매우 효율적임.
• HQC의 BCH 디코더에 대한 새로운 전력 측면채널 공격이 10,000 건 이내의 측정 수로 기밀 키의 상당 부분을 성공적으로 추출함.
• FPGA 기반의 메셀리에 암호 체계에서 CRC 및 해밍 코드 기반 결함 검출 방식이 최대 49%의 면적 및 지연 오버헤드를 감안하여 거의 100%의 결함 검출 성능 달성.
• HQC의 리드-멀러 디코딩 단계에 대한 측면채널 공격이 20,000 건 이내의 전자기 추적 수로 전체 정적 기밀 키를 복구함.
• 리드-멀러 디코딩 단계에서 측면채널 구분자에 대응하기 위한 마스킹 기반 대응 조치가 제안되어 실용적인 방어 메커니즘 제공.