同種写像暗号の安全性に関する帰着効率の検討

整理番号	2024a026
種別	若手・学生研究-短期研究員
研究計画題目	同種写像暗号の安全性に関する帰着効率の検討
研究代表者	橋本 侑知（東京電機大学 理工学部 理工学科 情報システムデザイン学系・助教）
研究実施期間	2024年8月22日(木) ～ 2024年8月30日(金)
研究分野のキーワード	暗号理論, 圏論, 同種写像暗号
目的と期待される成果	現代の情報化社会では、通信等の安全性を担保する暗号は必要不可欠になっている。現在提案されている暗号方式の大半は、ある数学的な計算量的困難性を持つ問題を安全性の根拠としている。すなわち、暗号方式の安全性証明では、その暗号方式の安全性を破るという問題を計算量的困難性を持つ問題に帰着させている。このとき、より効率的な帰着を与えることで暗号方式の安全性をより高い強度で保証でき、そのことは暗号方式の効率性向上にもつながる。そのため暗号分野では数々の安全性証明技法が考案されてきたが、耐量子計算機暗号の一種である同種写像暗号のような高度な数学的構造に基づく暗号技術にそうした既存の技法を適用するのは難しい状況である。そこで本研究では、より幅広く適用可能な安全性証明技法の確立を目指す。具体的には、圏論の応用として近年注目されているResource理論に基づき、暗号方式の安全性証明に登場する「オラクル」や「攻撃者」などの概念の定式化を再考することで、圏論を用いた新たな安全性証明技法を探究する。また、同手法の適用例として具体的な同種写像暗号方式の安全性証明の改良及び帰着効率の改良による個々の同種写像暗号方式の効率化を目指す。
組織委員(研究集会) 参加者(短期共同利用)	橋本 侑知（東京電機大学・助教） 縫田 光司（九州大学・教授）