[論文レビュー] Lighting the Way to a Smart World: Lattice-Based Cryptography for Internet of Things

Rui Xu, Cheng Chi+2 more|arXiv (Cornell University)|May 13, 2018

Cryptography and Data Security参考文献 11被引用数 15

ひとこと要約

この論文は、リソース制限されたインターネット・オブ・シングズ（IoT）デバイスにおける実用的で後量子計算耐性のあるソリューションとして、ラティス暗号を提唱している。R-LWE、BLISS、NewHopeといったラティスベースの方式が、マイコンおよびFPGA上で強力なセキュリティと高い効率性を達成できることを示しており、Cortex-Mプロセッサ上でミリ秒未満の性能を示す実装や最適化されたハードウェア設計が得られている。これにより、将来的なセキュアなIoTシステムの主要候補として位置づけられる。

ABSTRACT

The Ukraine power grid cyberattacks remind us that the smart Internet of Things (IoT) can help us control our light-bulbs, but if under attacks it might also take us into darkness. Nowadays, many literatures have tried to address the concerns on IoT security, but few of them take into consideration the sever threats to IoT coming from the advances of quantum computing. As a promising candidate for the future post-quantum cryptography standard, lattice-based cryptography enjoys the advantages of strong security guarantees and high efficiency, which make it extremely suitable for IoT applications. In this paper, we summarize the advantages of lattice-based cryptography and the state of art of their implementations for IoT devices.

研究の動機と目的

• 既存のIoTセキュリティプロトコルに脅かされる量子計算の脅威に対処する。
• 強力なセキュリティと効率性のおかげで、ラティスベースの暗号が有望な後量子代替手段であると特定する。
• 制限されたIoTデバイスにおけるラティスベース方式の最新のソフトウェアおよびハードウェア実装を調査する。
• 実世界のIoTシステムへのラティス暗号の導入におけるパフォーマンス、セキュリティ、実用性の課題を強調する。
• 組み込み型および低消費電力環境向けにラティスベース方式を最適化するための今後の研究への指針を提供する。

提案手法

• 暗号 Primitive のサーベイと分析、特に暗号化（R-LWE）、鍵交換（NewHope）、デジタル署名（BLISS）を含む。
• プラットフォーム固有の最適化を用いた32ビットCortex-Mマイコンにおけるソフトウェア実装の評価。
• ラティス方式のためのFPGAベースのハードウェアアクセラレータの検討、スルーレットと面積効率に焦点を当てる。
• 異なるデバイスおよび方式間でのサイクル数、実行時間、クロック周波数などのパフォーマンス指標の比較。
• ラティスベースシステムにおける側面から攻撃への耐性とパrameter選択の課題の評価。
• 理論的基盤のレビュー、特にランダムオракルモデルにおけるセキュリティ証明と離散ガウス分布サンプリングの役割。

実験結果

リサーチクエスチョン

• RQ1 ラティスベースの暗号は、リソース制限されたIoTデバイスにおいて、強力な後量子計算耐性と受け入れ可能なパフォーマンスを両立できるか？
• RQ2 R-LWE、BLISS、NewHopeといったラティスベース方式は、マイコンおよびFPGA上での実行時間とリソース使用量において、どのように性能を発揮するか？
• RQ3 実世界のIoTシステムへのラティス暗号の導入における主な実用的課題は何か、特に側面から攻撃とパrameter選択の面で。
• RQ4 現在のラティスベース方式の実装は、セキュリティ、効率性、通信オーバーヘッドのバランスをどの程度達成しているか？
• RQ5 理論的なセキュリティ保証は、ラティスベースIoTデプロイメントにおける実際のセキュリティとどのように一致させられるか？

主な発見

• RSA や ECC といった従来の公開鍵方式に比べ、ラティスベースの暗号は計算効率が優れており、NewHope はCortex-M0上でサーバーサイド計算に約150万サイクルを要する。
• FPGA 上のR-LWE暗号実装は、V6LX75Tで最大313 MHz のスルーレットを達成し、最適化された構成では実行時間が9.1マイクロ秒にまで短縮される。
• BLISS-B は、改良されたサンプリング技術のおかげで、キーゲネレータの処理時間を5〜10倍短縮する。
• FPGA 上でのR-LWEおよびIBE方式のハードウェア最適化実装は、S6LX9 といった低面積デバイスでも実現可能であり、実行時間は1ミリ秒未満である。
• 強力な理論的セキュリティにもかかわらず、現在の大多数の実装は側面から攻撃への保護を欠いており、実際の側面から攻撃のリスクにさらされている。
• 特に完全な量子攻撃モデル下でのラティスベース方式のセキュリティレベルを評価する統合的モデルのギャップは依然として顕著である。