研究課題/領域番号 |
19F19378
|
研究種目 |
特別研究員奨励費
|
配分区分 | 補助金 |
応募区分 | 外国 |
審査区分 |
小区分60070:情報セキュリティ関連
|
研究機関 | 東京大学 |
研究代表者 |
高木 剛 東京大学, 大学院情報理工学系研究科, 教授 (60404802)
|
研究分担者 |
WANG YUNTAO 東京大学, 大学院情報理工学系研究科, 外国人特別研究員
|
研究期間 (年度) |
2019-11-08 – 2022-03-31
|
研究課題ステータス |
完了 (2019年度)
|
配分額 *注記 |
2,300千円 (直接経費: 2,300千円)
2019年度: 1,200千円 (直接経費: 1,200千円)
|
キーワード | 格子暗号 / 最短ベクトル問題 / ハイブリッド攻撃 / 中間一致攻撃 / 鍵不一致攻撃 |
研究開始時の研究の概要 |
本研究では,次世代公開鍵暗号方式として注目されている格子暗号の安全性評価を大規模解読実験により実施する.特に,高速な格子基底簡約アルゴリズムであるProgressive BKZを改良し,NTRU暗号とLWEベース暗号のHybrid Attackなどに対する困難性を解析する.また,計算機による大規模実験により,格子暗号の困難性の精密な評価を与えることにより,安全に運用できる格子暗号のパラメータを導出し,アメリカ国立標準技術研究所(NIST)の格子暗号の標準化に貢献できる研究成果を論文として公表する.
|
研究実績の概要 |
高機能な次世代暗号の安全性評価では,安全性根拠となる数学的問題の困難性の解析が重要な研究課題である.本研究では,次世代暗号Giophantusに対して,ハイブリッド攻撃の安全性評価を目的とし,Giophantusが提案した暗号パラメータの強度評価を行った.具体的には,格子簡約アルゴリズムと中間一致攻撃を組み合わせたHowgrave-Grahamのハイブリッド攻撃に基づき,格子最短ベクトル問題(SVP)の解析に対するハイブリッド攻撃のシミュレータを構成した.本シミュレータでは,格子簡約アルゴリズムの計算量と中間一致攻撃の計算量のトレードオフを考慮することが可能となった.本成果は,ACM主催の国際会議AsiaPKC 2020に採録されている. 格子暗号NewHopeは米国標準技術研究所NISTが進める耐量子暗号標準化プロジェクトにおいて有力な候補の1つである.NewHopeに対する鍵不一致攻撃はBauerらによって国際会議CT-RSA 2019において初めて発表され,更にQinらにより国際会議ESORICS 2019にてBauerらの鍵不一致攻撃が改良された.本研究では,攻撃者がサーバに送信するクエリの生成方法に改良を施し,BauerらやQinらの攻撃方法では復元が不可能であった秘密鍵に対しても攻撃可能とした.そして,秘密鍵となる多項式の係数の決定的な判定条件を考察することにより,秘密鍵の復元成功率を上昇させたと共に,Qinらの攻撃における秘密鍵の検索範囲をクエリ数の増加なしで拡張することに成功した.本成果は,オーストラリアのPerthで開催される国際会議ACISP 2020に採録されている.
|
現在までの達成度 (段落) |
翌年度、交付申請を辞退するため、記入しない。
|
今後の研究の推進方策 |
翌年度、交付申請を辞退するため、記入しない。
|