KyberとSaberの耐量子計算機安全性（概要版）

• Item type: Symposium(1)
• 公開日: 2022-10-17
• タイトル: KyberとSaberの耐量子計算機安全性（概要版）
• タイトル / 言語: en
• タイトル: Post-quantum Security of Kyber and Saber (Extended Abstract)
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 耐量子計算機暗号, PQC, Kyber, Saber
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: ETH Zürich
• 著者所属: NTT社会情報研究所
• 著者所属(英): en
• 著者所属(英): ETH Zürich
• 著者所属(英): en
• 著者所属(英): Social Informatics Laboratories, NTT Coporation
• 著者名: Varun, Maram; 草川, 恵太
• 著者名(英): Varun, Maram; Keita, Xagawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Grubbs, Maram, Paterson (EUROCRYPT 2022) は，Kyber や Saber で採用されている藤崎岡本変換の変種について，量子ランダムオラクルモデルにおける IND-CCA 安全性の証明がなされていないことを指摘した．Bernstein により Zhandry の量子ランダムオラクルの量子識別不可能性を用いると証明が通るだろうと指摘されたが，具体的なバウンドは分かっていない．本稿では, Kyber と Saber の量子ランダムオラクルモデルにおける IND-CCA 安全性（と匿名性）を別の手法を用いて証明し，具体的な不等式を与える．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Grubbs, Maram, and Paterson (EUROCRYPT 2022) pointed out that Kyber and Saber gave two tweaks for the implicit-rejection version of the Fujisaki-Okamoto (FO) transform and there is no IND-CCA security proof for the tweaked FO transform in the quantum random oracle model. Bernstein suggested using Zhandry's quantum indifferentiability (CRYPTO 2019) to remedy the IND-CCA security proof but there is no concrete bound for the IND-CCA security. This paper gives explicit security proof for the tweaked FO transform in the quantum random model and applies it to Kyber and Saber. Additionally, we apply the technique to those anonymity.
• 書誌情報: コンピュータセキュリティシンポジウム2022論文集; p. 722-728, 発行日 2022-10-17
• 出版者 / 言語: ja
• 出版者: 情報処理学会