[論文レビュー] Envisioning the Future of Cyber Security in Post-Quantum Era: A Survey on PQ Standardization, Applications, Challenges and Opportunities

Saleh Darzi, Kasra Ahmadi+3 more|arXiv (Cornell University)|Oct 18, 2023

Cryptographic Implementations and Security被引用数 7

ひとこと要約

本論文は、格子暗号、ハッシュ暗号、符号暗号、同種写像暗号、多変数暗号を含む、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ニーズを調査すること。
• 暗号のアジリティと後量子時代への安全な移行を促進するための今後の研究方向性を予測すること。

提案手法

• NIST PQC最終選考候補および代替方式の体系的分析を実施し、その数学的基盤と構成的設計を評価した。
• 量子攻撃耐性を含む、ハード問題（例：学習誤差問題、符号ベース問題、SIKE）の形式的分析を用いてセキュリティ特性を評価した。
• パフォーマンスベンチマークと側帯攻撃対策の統合を通じて、実装効率と側帯脆弱性を評価した。
• IoT、ブロックチェーン、MLにおける実世界の制約に応じて、評価指標（例：鍵長、署名長、実行時間）をマッピングした。
• 暗号のアジリティとSNDL脅威を軽減するための早期移行を重視した、アプリケーション固有のPQC導入フレームワークを提案した。
• 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への移行が急務である。
• 多様な応用分野において、1つのPQC方式ではすべての要件を満たせない：IoTは低コスト・低消費電力が優先され、ブロックチェーンは短い署名が求められ、機械学習では強力なプライバシー保護プリミティブが必要となる。
• 一般用途のPQC標準化は必要不可欠だが、それだけでは不十分であり、標準化後には専門的なPQCコンテストやアプリケーション固有の方式開発が予想される。
• 暗号のアジリティ（新しい暗号方式への迅速な移行能力）は、後量子時代における長期的なシステムの耐性を確保する上で不可欠であり、優先的に推進すべきである。

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.