企画名

暗号理論の数理と社会実装
 

参加教員

参加教員名 所属 職名
伊丹將人 サイエンス連携探索センター 特定助教
伊藤哲史 数学・数理解析専攻 准教授
 

企画の概要

 暗号技術はデジタル社会の安全性を根底で支えており、必要不可欠なものになっています。しかし、量子計算機が実現すると、現在利用されている暗号方式の安全性が失われることが分かってきました。そのため、量子計算機でも解読が困難な暗号である耐量子計算機暗号の研究が現在盛んに行われています。そこで本SGでは、代数学・量子物理学・情報理論などが関わる分野横断的なテーマでもある耐量子計算機暗号に焦点を当てます。今年度は、耐量子計算機暗号の中でも一番有望視されている格子暗号の数理をみんなで一緒に学びます。
 具体的には、前期から後期の初めにかけて青野良範,安田雅哉『格子暗号解読のための数学的基礎』(近代科学社)の輪講を行い、格子暗号の基礎の習得を目指します。その後は格子暗号に関する研究論文を読み、生じた疑問をみんなで検討するような研究を行います。2025年1月28日〜31日に小倉で開催される研究会「2025年 暗号と情報セキュリティシンポジウム(SCIS2025)」で研究発表を行うことを目指しています。
 MACSは異分野交流の場でもあるので、標準的な暗号理論や量子物理学の知識は前提とせずに輪講を行う予定です。輪講に加えて、専門家を招いたセミナーを開催したり、参加者の興味に応じて暗号を実装する機会を設けたいと考えています。
 また、暗号理論が社会でどのように役立っているかを学ぶためにも、各回の発表者には暗号理論を用いてセキュリティを高めている技術や製品を紹介してもらいたいと思っています。情報セキュリティやプライバシーへの関心は世界的に高まっており、日々様々な技術・製品が誕生しています。暗号理論の社会実装という応用面にも関心を払うことで、今後の人生がより豊かなものになると信じています。
 暗号理論は様々な分野にも関わっています。数学・物理だけでなく、様々な分野のバックグラウンドを持つ学部生・大学院生の皆さんの参加をお待ちしています。

実施期間・頻度

前期(6月~7月)と後期(10月~1月)に隔週で各回90分のセミナーを実施する予定です。曜日・時間帯については、参加希望者で相談して決めたいと思います。不定期に専門家を招いたセミナーを行います (前期・後期あわせて2,3回程度の予定)。1月には小倉で開催される研究会 SCIS2025 に参加予定です(希望者のみ)。

説明会資料

4/19(金)のスタディグループ説明会資料はこちら

TA雇用の有無

有り

その他、特記事項など

輪講はハイブリッド形式で実施予定です。連絡や相談は、オープンソースでありエンドツーエンド暗号化を実装しているElement (Messenger)を利用したいと考えています。

問い合わせ先

itami.masato.7u*kyoto-u.ac.jp
(*を@に変えてください)

スタディグループへの登録は締め切りました。
関心のある方は macs *sci.kyoto-u.ac.jp(*を@に変えてください)までご連絡ください。

 


学会参加報告

氏名

勝岡唯弘

所属・学年

理学研究科数学・数理解析専攻修士二回生

出張期間

2025年1月28日~1月31日

参加学会

2025年 暗号と情報セキュリティシンポジウム(SCIS2025)

開催期間

2024年1月28日(火)~1月31日(金)

会場

リーガロイヤルホテル小倉 福岡県北九州市小倉北区浅野2丁目14-2

参加報告

SCISでは暗号を中心に情報セキュリティに関する幅広い研究成果が発表される。スタディグループで勉強した格子暗号をはじめとする耐量子計算機暗号に関する発表を中心に聴講参加しました。発表の中には暗号の対象やアルゴリズムに対して、類体論や代数幾何、有限群論といった数学的な理論を応用しようとする試みがあり、どれも非常に興味深く刺激的だった。また、発表の中には新たな分野のセキュリティモデルを立ち上げる取り組みがあった。VRやAR環境におけるセキュリティやプライバシーのリスクや想定される攻撃の列挙、あるいは近年問題になっているAIが抱える知的財産権の問題を解決する手法に関する考察などがあり、技術の発展に伴う倫理的問題に対して適切なルールの枠組みを作成する、あるいは更なる技術で倫理的問題を解決する取り組みの重要性を認識できた。


氏名

大江優希

所属・学年

理学研究科数学・数理解析専攻

出張期間

2025年1月28日~1月31日

参加学会

2025年 暗号と情報セキュリティシンポジウム(SCIS2025)

開催期間

2024年1月28日~1月31日

会場

リーガロイヤルホテル小倉

発表タイトル

超特異QMアーベル曲面から構成される同種写像グラフのラマヌジャン性

発表形式

口頭

参加報告

MACSで修士課程での専門の整数論以外の、暗号理論についての知見を得た。
学会は暗号理論と情報セキュリティに関する幅広い発表があった。
修士論文の内容が実は耐量子計算機暗号に深くかかわっていたため、研究成果を暗号理論の文脈でとらえなおし、発表した。
質疑応答としては、具体的な実装に関する質問や、計算論的側面についての質問がなされた。
準備の大切さ。15分の発表で、13分程度の長さの分量の原稿を準備していたため自信をもって発表できた。先生方からもお褒めの言葉をいただき、嬉しかった。
ブロックチェーンの発表が興味深かった。
発表の際緊張していることが伝わるプレゼン、早口で何が最重要なのかよくわからないプレゼン、文字が多すぎて読めないスライドがあり、プレゼンテーションのやり方についての知見につながった。
4月から就職するため、今後この研究を適切に引き継いで行きたい。


氏名

中森聡

所属・学年

理学研究科数学・数理解析専攻修士1年

出張期間

2025年1月29日~1月31日

参加学会

SCIS2025

開催期間

1/28-1/31

会場

リーガロイヤルホテル小倉

参加報告

新たな情報の取引手段の提案から、暗号に関する数学的な考察や、AIを用いたセキュリティに関するものまで幅広く扱われていた。全く知らないことに関するテーマも多く、様々な分野に関心を持つことができた。


活動報告

活動目的・内容

デジタル社会の安全性を根底で支えている暗号技術への理解を深めることは、個人レベルの情報セキュリティやプライバシー保護の観点からも望ましく、多くの人にとって意義深いことです。また、量子コンピューターでも解読が困難な暗号(耐量子計算機暗号)に関する研究は、代数学・量子物理学・情報理論などが関わる分野横断的なテーマであり、暗号理論の中でも非常に盛り上がっています。そこで、本スタディグループでは、様々な分野のバックグラウンドを持つ大学院生と共に、青野良範・安田雅哉[著]『格子暗号解読のための数学的基礎』(近代科学社)の輪講を行い、耐量子計算機暗号の中でも有望視されている格子暗号の数理について学びました。教員も暗号理論の専門家ではないため、外部講師として専門家を招いたセミナーも開催し、耐量子計算機暗号への理解を深めました。また、暗号理論が社会でどのように役立っているかを学ぶ目的で、輪講の発表者には暗号理論を用いてセキュリティを高めている技術や製品の紹介もしてもらいました。

 

活動成果・自己評価

修士1回から博士3回までの多彩なメンバーが集まり、テキストの輪講は計13回行いました。表1に分担をまとめました。前期のうちに格子暗号を理解するための数学的基礎について書かれた第1章を読み終え、後期は格子暗号を解読するためのアルゴリズムついて学びました。発表担当の学生が、テキストに書かれているアルゴリズムを実際に実装してくれたため、しっかりと内容を理解することができ、全体的には良い流れで輪講をできたと思います。優秀な学生が多かったので、輪講をもう少し早めに切り上げて、より研究に近い活動をしてもよかったかもしれません。
外部講師によるセミナーは後期に2回行いました。表1にセミナーの講演者と題目をまとめました。輪講したテキストの著者でもある立教大学の安田さんには、格子暗号の基礎と最先端の研究についてご説明いただけたため、テキストで学んできたことの理解を深めると共に、その意義を学ぶことができました。NTTの古江さんには、自らが考案した耐量子計算機暗号の仕組みを説明していただき、また、米国国立標準技術研究所が行っている耐量子計算機暗号標準化のコンペに応募する際の苦労についてもご説明いただけたので、耐量子計算機暗号について多角的に理解を深めることができました。どちらも、非常に有意義なセミナーとなりました。
修士2回の大江さんは独自に研究をおしすすめ、研究会「2025年暗号と情報セキュリティシンポジウム(SCIS2025)」において「超特異QMアーベル曲面から構成される同種写像グラフのラマヌジャン性」というタイトルで口頭発表を行いました。他にも2名の学生がSCIS2025に参加し、暗号や情報セキュリティに関連した色々な研究に触れることができ、視野を広げることができました。
様々な活動を通して耐量子計算機暗号について学べ、楽しく有意義なものになったと思います。

報告会資料ダウンロード

SG活動に関する写真・図

表1:輪講の分担とMACSセミナーの一覧
画像
sg2024-11

 

画像
sg2024_11
 

参加メンバー

下村顕士 物理学・宇宙物理学専攻 博士1回(D1)
林 大寿 化学専攻 博士3回(D3)以上
中森聡 数学・数理解析専攻 修士1回(M1)
勝岡 唯弘 数学・数理解析専攻 修士2回(M2)以上
大江 優希 数学・数理解析専攻 修士2回(M2)以上