💻 computer science

PQ-SEAL, Post-Quantum Secure Embedded Architecture with Leakage-Resilient AES on Ibex RV32IMC

본 논문은 NIST 표준 양자 내성 암호와 누설 내성이 있는 AES-128 리키잉(rekeying) 기법을 통합하여, 추가적인 하드웨어 비용 없이 상관 전력 분석(Correlation Power Analysis) 공격에 대한 저항성을 31배 향상시킨 FPGA 기반의 베어메탈 RISC-V 구현체인 PQ-SEAL을 제시한다.

원저자: Charan Kasimahanti

게시일 2026-08-11

📖 5 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Charan Kasimahanti

원본 논문은 CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

디지털 요새와 양자 폭풍

인터넷을 수많은 사람들이 서로에게 비밀 편지를 보내는 거대하고 북적이는 도시라고 상상해 보세요. 이 편지들을 안전하게 지키기 위해 우리는 "자물쇠"(암호화)를 사용합니다. 이 자물쇠들은 너무나 복잡해서 세계 최고의 수학자들도 열쇠 없이는 풀 수 없을 정도입니다. 수십 년 동안 이 자물쇠들은 믿을 수 없을 만큼 강력했습니다. 하지만 과학자들은 "양자 컴퓨터"라는 새로운 종류의 도구를 만들어 왔습니다. 이것을 단순히 더 빠른 계산기가 아니라, 현재 우리가 사용하는 거의 모든 자물쇠를 단 몇 초 만에 따버릴 수 있는 "마법의 마스터 키"라고 생각하세요. 만약 누군가 이 기계를 만든다면, 우리의 모든 비밀 편지는 즉시 읽힐 수 있으며, 심지어 몇 년 전에 쓰인 편지라도 마찬가지입니다. 이것은 큰 문제입니다. 왜냐하면 나쁜 놈들은 이미 오늘날 우리의 비밀 편지들을 훔쳐서 저장하고 있으며, 그것들을 잠금 해제할 수 있는 날만을 기다리고 있기 때문입니다.

이를 막기 위해 전문가들은 "양자 내성(quantum-proof)"을 가진 새로운 자물쇠를 설계하고 있습니다. 이 새로운 자물쇠들은 양자 컴퓨터조차 쉽게 풀 수 없는 복잡한 수학 퍼즐을 기반으로 합니다. 하지만 문제가 하나 있습니다. 이러한 새로운 자물쇠를 만드는 데는 많은 두뇌 능력과 메모리가 필요하며, 이는 스마트 센서나 단순한 칩과 같은 아주 작은 장치에 담기가 어렵다는 점입니다. 더욱이, 수학적으로 완벽하더라도, 교활한 공격자가 장치가 작동하는 동안 사용하는 전력량을 관찰하여 열쇠를 훔치려 할 수도 있습니다. 이 논문은 매우 작고 단순한 칩 위에 어떻게 작지만 강력한 양자 내성 요새를 구축할 수 있는지, 그리고 전력 사용량을 감시하려는 자들을 혼란스럽게 만드는 마법의 방패를 어떻게 설치할 수 있는지를 탐구합니다.

작은 수호자: PQ-SEAL

인도 공과대학교 마드라스(IIT Madras)의 연구원 차란 카시마한티(Charan Kasimahanti)가 만든 프로젝트인 PQ-SEAL을 만나보세요. 이 프로젝트의 목표는 메모리가 거의 없는(단 64 KB의 RAM뿐이며, 이는 고해도 사진 한 장보다도 적은 양입니다) 아주 작은 베어메탈(bare-metal) 컴퓨터 칩(FPGA 보드에서 실행되는 Ibble RV32IMC) 위에 완전하고 안전한 통신 시스템을 구축하는 것이었습니다. 보통 이렇게 작은 칩에 고급 보안 기능을 넣는 것은 마치 자전거 보관소에 대형 트럭을 주차하려는 것과 같습니다.

연구진은 이 작은 공간 안에 두 가지 거대한 과업을 밀어 넣는 데 성공했습니다:

양자 내성 핸드셰이크(The Quantum-Proof Handshake): 그들은 ML-KEM과 ML-DSA를 사용하여 키를 교환하는 새로운 NIST 표준 방식을 구현했습니다. 이것은 두 컴퓨터가 "안녕, 나는 내가 말하는 바로 그 사람이고, 우리가 사용할 수 있는 비밀 키는 이것이야"라고 말하는 "악수(handshake)" 과정입니다.
누설 저항 방패(The Leakage-Resilient Shield): 그들은 핸드셰이크 이후에 전송되는 실제 메시지를 보호하기 위해 **LR4 리키잉(rekeying)**이라는 특별한 기술을 추가했습니다.

핸드셰이크의 작동 방식

두 명의 스파이가 공원에서 만나는 장면을 상상해 보세요. 그들은 비밀을 속삭시는 대신 복잡한 춤을 춥니다.

인사: 작은 칩("보드")이 강력한 컴퓨터("호스트")에게 공개 ID 카드(800 바이트)를 보냅니다.
마법의 기술: 강력한 컴퓨터가 힘든 작업을 수행합니다. 이 컴퓨터는 ID 카드를 사용하여 비밀 코드와 디지털 서명을 만든 다음, 이를 다시 보냅니다.
검증: 작은 칩은 서명이 유효한지 확인합니다. 서명이 유효하다면, 양측은 특수 수학 함수(SHAKE-128)를 사용하여 공유된 비밀을 최종적인 32바이트 세션 키로 변환합니다.

이 전체 댄스는 50 MHz로 작동하는 작은 칩에서 단 0.9초밖에 걸리지 않았습니다. 운영 체제도 없고 추가적인 메모리 보조 도구도 없는 장치치고는 믿을 수 없을 만큼 빠른 속도입니다.

마법의 방패: LR4 리키잉

핸드셰이크가 끝나면, 양측은 암호화된 메시지를 주고받기 시작합니다. 여기서 논문은 정말 영리해집니다. 보통 공격자가 장치가 메시지를 암호화하는 것을 관찰하면, 전력 소비량을 분석하는 방식(이를 상관 전력 분석 또는 CPA라고 합니다)을 통해 결국 키를 알아낼 수 있습니다. 이것은 마치 금고 털이의 소리를 듣는 것과 같습니다. 만약 다이얼을 돌릴 때마다 똑같은 소리가 난다면, 당신은 조합을 추측할 수 있습니다.

이 논문은 LR4 리키잉이라는 대응책을 소개합니다. 동일한 키를 영원히 사용하는 대신, 시스템은 10개의 블록 데이터마다 키를 변경합니다.

비유: 당신이 상자에 비밀 메시지를 담아 보내고 있다고 상상해 보세요. 일반적인 자물쇠는 모든 상자에 동일한 키를 사용합니다. 스파이가 당신이 100개의 상자를 잠그는 것을 지켜보면 결국 키를 알아내게 됩니다.
PQ-SEAL의 기술: 10번째 상자를 잠글 때마다, 자물쇠는 내부 메커니즘을 완전히 새로운 무작위 키로 자동으로 변경합니다. 스파이가 처음 10개의 상자를 관찰하여 갈피를 잡으려 하면, 자물쇠가 바뀌어 버립니다. 그러면 스파이는 처음부터 다시 시작해야 합니다.

연구진은 300개의 메시지 쌍과 그 암호화 결과를 수집하여 이를 테스트했습니다.

방패가 없을 때 (Plain AES): 스파이는 300번의 시도 후에 "순위(rank)" 4를 얻었습니다 (즉, 실제 키가 상위 4개의 추측 중 하나였다는 의미).
방패가 있을 때 (LR4): 스파이의 최선의 추측은 순위 124에 머물렀습니다.

이는 방패가 활성화되었을 때 공격자가 31배 더 혼란스러워하고 불확실해졌음을 의미합니다. 이 논문은 이러한 개선이 추가적인 하드웨어나 특수 칩 없이 오직 소프트웨어만으로 이루어졌음을 증명합니다.

실제 환경 테스트

이것이 단순한 수학 퍼즐이 아님을 보여주기 위해, 팀은 실제 암호화 메시징 앱을 구축했습니다. 사용자들은 그룹 채팅과 직접 메시지를 보낼 수 있었습니다. FPGA 보드 위의 작은 칩은 메시지를 보내기 전에 모든 메시지를 암호화했고, 강력한 컴퓨터는 이를 복호화했습니다. 시스템은 매끄럽게 작동했으며, 이는 자원이 극도로 제한된 작은 칩 위에서도 양자 내성을 가진 보안 대화가 가능하며, 전력 해킹 스파이로부터도 안전할 수 있음을 입증했습니다.

이것이 의미하는 바

이 논문은 세상의 모든 문제를 해결했다고 주장하는 것이 아닙니다. 연구진은 자신들의 테스트가 실제 칩에 물리적인 전력 측정기를 연결한 것이 아니라, 전력 사용량에 대한 통제된 소프트웨어 시뮬레이션에서 수행되었다는 점을 인정했습니다. 또한, 계산이 걸리는 시간을 통해 키를 추측하는 '타이밍 공격'을 방지하기 위해 코드를 더 개선할 수 있다고 언급했습니다.

하지만 결과는 강력한 개념 증명(proof of concept)입니다. 그들은 운영 체제 없이도 작고 저렴한 칩에서 최신이자 가장 안전한 양자 내성 표준을 실행할 수 있으며, 키를 교체하는 빈도를 조절하는 것만으로도 물리적 스파이에 대한 강력한 방어책을 추가할 수 있다는 것을 보여주었습니다. 이는 가장 작은 장치들조차 양자 컴퓨터와 교활한 스파이로부터 안전할 수 있는 미래를 향한 한 걸음입니다.

기술 요약: PQ-SEAL

문제 정의

NIST의 양자 내성 암호(PQC) 알고리즘 표준화(특히 ML-KEM에 대한 FIPS 203 및 ML-DSA에 대한 FIPS 204)는 암호화 인프라를 양자 저항 프로토콜로 마이그레이션할 것을 요구한다. 그러나 이러한 표준을 자원이 제한된 임베디드 시스템에 배포하는 것은 이중의 과제를 안겨준다:

계산 제약: 임베디드 프로세서(예: IoT 장치, FPGA 소프트코어)는 종종 제한된 RAM(<64 KB), 낮은 클록 속도(<100 MHz), 그리고 운영 체제나 하드웨어 가속기가 없는 환경에서 작동한다. 격자 기반 PQC의 산술 연산(다항식 곱셈을 위한 Number-Theoretic Transform)은 곱셈-누산(multiply-accumulate) 가속이 없는 인오더(in-order) 파이프라인에 상당한 부담을 준다.
물리 계층 취약성: PQC가 양자 컴퓨터의 위협에 대응한다면, 데이터를 보호하는 대칭 계층(통상적으로 AES)은 부채널 공격(side-channel attacks)에 여전히 취약하다. 구체적으로, 상관 전력 분석(CPA)은 수백 개의 전력 트레이스를 통해 AES 키를 복구할 수 있다. 임베디드 플랫폼의 기존 PQC 구현은 대칭 계층에 대한 부채널 방어책을 간과하는 경우가 많으며, 기존의 누설 내성(LR) 스킴들은 PQC가 아닌 고전적 키 설정(classical key establishment)을 가정하는 경우가 많다.

제한된 메모리 환경의 베어메탈(bare-metal) RISC-V 소프트코어 상에서 포스트 양자 핸드셰이크와 증명 가능한 누설 내성 대칭 암호화 스킴을 통합하는 완전한 엔드 투 엔드 시스템에 대한 문헌적 공백이 존재한다.

방법론

저자는 Xilinx Artix-7 FPGA 상에서 동작하는 Ibex RV32IMC 소프트코어를 사용하여 구현된 PQ-SEAL(Leakage-Resilient AES를 갖춘 포스트 양자 보안 임베디드 아키텍처)을 제시한다.

시스템 아키텍처

하드웨어 플랫폼: 시스템은 50 MHz로 동작하는 Ibex 코어와 64 KB의 통합 SRAM 예산을 가진 Nexys 4 DDR 보드에서 실행된다. OS, 힙 할당기(heap allocator), 또는 외부 암호화 라이브러리는 사용되지 않는다.
펌웨어 풋프린트: 펌웨어는 64 KB SRAM 중 53 KB를 점유한다. ML-KEM 및 ML-DSA 키는 런타임 키 생성 오버헤드와 베어메탈 타겟의 하드웨어 진성 난수 생성기(TRNG) 필요성을 피하기 위해 컴파일 타임에 .rodata에 저장된다.
통신: 보드는 프레임 기반 UART 채널(115202 baud)을 통해 호스트 PC와 통신한다. 호스트는 모든 격자 기반 산술(ML-KEM 캡슐화, ML-DSA 서명, SHAKE-128 유도)을 liboqs 및 PQClean을 사용하여 수행하며, 보드는 대칭 암호화 및 재키잉(rekeying)을 담당한다.

프로토콜 설계

시스템은 5단계의 PQ-TLS 핸드셰이크를 실행한다:

Client Hello: 보드가 자신의 ML-KEM-512 공개 키(800 B)를 호스트로 보낸다.
Host Encapsulation: 호스트는 로컬에서 ML-KEM-512 캡슐화를 수행하여 암호문과 공유 비밀(shared secret)을 생성한다.
Host Signing: 호스트는 공개 키와 암호문의 해시를 ML-DSA-44를 사용하여 서명한다.
Server Hello: 호스트는 암호문, 자신의 공개 키, 그리고 서명(총 4504 B)을 보드로 전달한다.
Verification & Key Derivation: 보드는 서명을 검증하고, 공유 비밀로부터 SHAKE-128을 사용하여 세션 키( $K_s$ )를 유도한 뒤 승인(acknowledgment)을 보낸다.

대칭 계층 및 LR4 재키잉

핸드셰이크 이후의 통신에는 AES-128-CTR이 사용된다. CPA를 완화하기 위해 시스템은 LR4 재키잉 스킴(Fallen Sanctuary [12]에서 제안됨)을 구현한다:

메커니즘: 키는 $m=10$ 블록마다 재귀식 $K_{i+1} = \text{AES}_{K_i}(K_i)$ 에 따라 업데이트된다.
IV 생성: 에포크 경계에서의 카운터 재사용을 방지하기 위해 IV는 SHAKE-128을 통해 유도된다.
이론적 근거: 이 구조는 누설 없는 생츄어리(leak-free sanctuary)를 요구하지 않고도 키 크기의 버터플라이 경계(birthday bound)까지 지수적 호출에 대해 저항하도록 증명되었다. 이는 공격자의 유효한 트레이스 예산을 키 에포크당 제한하는 효과를 가진다.

평가

기능 검증: 시스템은 결정론적 세션 키를 가진 10회의 연속적인 핸드셰이크를 성공적으로 완료했다. 30회의 재키잉 이벤트에 걸친 300개의 모든 AES 블록은 소프트웨어 참조 구현과 일치했다.
부채널 분석 (CPA): 저자는 하드웨어로부터 $N=300$ $N = 300$ 개의 평문-암호문 쌍을 수집했다. 소프트웨어 CPA 공격은 첫 번째 AES SubBytes 연산의 Hamming Weight를 대상으로 수행되었다.
- 고정 키 AES (Fixed-Key AES): 300개 트레이스에서 키 랭크(key rank)가 4로 떨어졌으며, 이는 거의 완전한 복구가 이루어졌음을 나타낸다.
- LR4 재키ing: 키 랭크가 300개 트레이스 동안 124로 유지되었다. 매 10개 트레이스마다 발생하는 재키잉 이벤트가 상관 축적(correlation accumulation)을 초기화하여 공격자가 실제 키 바이트를 식별하는 것을 방지했다.

주요 기여

시스템 통합: 64 KB SRAM 제약 조건 내에서 베어메탈 Ibex RV32IMC 상에서 ML-KEM-512 + ML-DSA-44 포스트 양자 핸드셰이크를 구현한 최초의 완전한 구현체이며, 50 MHz에서 0.9초의 핸드셰이크 지연 시간을 달성했다.
방어책 구현: 소프트코어 상에서 CPA에 대한 하드웨어 오버헤드가 없는 제로 하드웨어 오버헤드 방어책으로서 LR4 재키잉 스킴( $K_{i+1} = \text{AES}_{K_i}(K_i)$ 와 $m=10$ )을 배치했다.
경험적 검증: 재키잉만으로 키 랭크를 (4에서 124로) 31배 개선함을 보여주는 소프트웨어 CPA 평가를 수행하였으며, 암호문 균일성(엔트로피, 아발란체 효과, 카이제곱 검정)에 대한 전체 통계적 검증을 완료했다.
응용 데모: 보안 채널 위에 구축된 실시간 역할 기반 암호화 메시징 플랫폼을 구축하여, 다중 사용자 배포 시나리오에서 시스템을 검증했다.

결과

성능: 53 KB의 펌웨어 풋프린트는 11 KB의 SRAM 여유 공간을 남긴다. 핸드셰이크는 0.9초 만에 완료된다. AES 처리량은 프로세서 용량보다는 UART 보드 레이트(115200)에 의해 제한되어 초당 약 10 블록을 달성한다.
보안: LR4 스킴은 CPA에 필요한 단조적 상관 축적(monotonic correlation build-up)을 성공적으로 차단했다. 고정 키 AES는 취약했던 반면(Rank 4), 재키잉된 시스템은 높은 불확실성(Rank 124)을 유지했으며 추가적인 하드웨어 비용이 들지 않았다.
통계적 특성: 고정 키 모드와 재키잉 모드의 암호문은 통계적으로 구별 불가능했다(Shannon entropy ≈ 7.99 bits/byte, Chi-squared $p > 0.05$ ). 이는 재키잉이 표준 암호 분석에서 탐지 가능한 통계적 아티팩트를 도입하지 않음을 확인시켜 준다.

의의 및 주장

본 논문은 NIST 표준화된 포스트 양자 키 설정과 증명 가능한 누설 내성 대칭 계층을 베어메탈 RISC-V 소프트코어 상에서 결합한 최초의 엔드 투 엔드 통합을 제공한다고 주장한다.

저자는 PQ-SEAL이 64 KB 베어메탈 배포 환경에 대한 충실한 소프트웨어 베이스라인을 구축하며, 다음을 입증한다고 강조한다:

OS 지원 없이도 제한된 소프트코어에서 완전한 PQC 핸드셰이크가 가능하다.
하드웨어 가속기나 상당한 성능 저하 없이 임베디드 플랫폼에서 누설 내성 대칭 암호화를 달성할 수 있다.
PQC와 LR4의 결 сочета(결합)은 양자 위협(ML-KEM/DSA를 통해)과 물리적 부채널 공격(LR4 재키잉을 통해) 모두에 대한 강력한 방어를 형성한다.

이 연구는 향후 연구를 위한 개방적이고 재현 가능한 토대로 제시된다. 저자는 소프트웨어 기반 CPA 평가(물리적 EM/전력 측정 대신) 및 비상수 시간(non-constant-time) NTT 구현에 대한 의존성을 한계점으로 언급하며, 이를 주요 향후 연구 방향으로 식별하였다.