| Project/Area Number |
22K17889
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 60070:Information security-related
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
池松 泰彦 九州大学, マス・フォア・インダストリ研究所, 助教 (40833570)
|
|---|
| Project Period (FY) |
2022-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2023: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2022: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | 多変数多項式暗号 / グレブナー基底 / 耐量子計算機暗号 / 暗号理論 |
|---|
| Outline of Research at the Start |
量子計算機を用いた攻撃に耐性のある暗号(耐量子計算機暗号:PQC)の研究開発は、アメリカ国立標準技術研究所(NIST)が現在進めているPQC標準化計画によって一気に加速した。PQCでは、多変数多項式写像を使った暗号(MPKC)が、高速な処理性能や短い署名長などから、有力な候補として活発に研究されている。しかし、既存MPKC方式に対する多変数連立方程式求解問題(MP問題)への安全性帰着証明や、実際に帰着できるような方式の開発は未解決問題となっている。本研究では、この問題に取り組む。
|
| Outline of Annual Research Achievements |
まず、2022年度に得た次の研究結果(i),(ii)を論文としてまとめた: (i)多変数署名方式MAYO, QR-UOVへのRectangular MinRank攻撃の適用とその計算量評価について、(ii)UOV多項式に付随するHilbert級数の研究について。(i)については国際会議IWSEC2023に採録され、(ii)は電子情報通信学会が発行する「暗号と情報セキュリティ小特集」に採録された。その後、(i)についてはRectangular MinRank攻撃の精密な計算量評価が未解決として残っていたが、特定のパラメータ条件においていくつかの代数的仮定をおくことでその計算量を理論的に導出し、実験によって実際の計算量と一致することを確認した。また、NISTのPQC署名方式の追加公募に投稿されている署名方式VOXに対するRectangular MinRank攻撃の解析を行い、VOXが提案したパラメータセットが安全でないことを証明した。またこの攻撃によって、128ビット安全な提案パラメータが3時間以内で解読できることを実験で確認した。VOXに関するこの結果は上記(i)の結果と合わせて論文化し、ジャーナル論文へ投稿中である。さらに、この結果をNISTが行う第5回 NIST PQC Standardization Conferenceに投稿し、2024年4月にアメリカにて発表することが決定している。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
執筆した論文も採録され、上記のように今年度も新たな成果が得られたため。
|
| Strategy for Future Research Activity |
全てのパラメータにおけるRectangular MinRank攻撃の精密な計算量評価の導出を行う。また、UOVのHilbert級数を利用した高速なグレブナー基底計算または求解アルゴリズムについて研究する。
|
