安永憲司研究室

About研究室について

暗号や計算を数学的に見てみよう

安永研究室は、暗号技術や誤り訂正符号など、理論計算機科学のさまざまな技術を研究しています。
計算することを数学的に書き表したとき、何が実現できて何ができないのか、その境界を探っています。
暗号の安全性をどう測るかという基礎の部分や、ゲーム理論を使った安全性の考え方も扱います。
研究テーマは、学生と教員が相談しながら決めています。

Research研究テーマ

暗号技術や誤り訂正符号といった理論計算機科学の技術について、何が実現可能で何が不可能か、その境界を探っています。暗号の基礎理論、ゲーム理論的な安全性をもつ暗号プロトコル、誤り訂正符号が主なテーマで、計算量理論や情報理論、量子情報も興味の範囲です。

※イメージ画像

暗号の基礎理論↗

暗号理論のなかでも基礎的な側面を研究しています。安全性の強さを表すビットセキュリティという指標に、操作的な意味をもつ量としての枠組みを与えました。分布どうしの距離の測り方を変えたときに、これまでの安全性の解析をどう見直せばよいかにも関心があります。

※イメージ画像

ゲーム理論で考える暗号プロトコル↗

暗号プロトコルの参加者は、決まりどおりに従う正直者か、邪魔をする攻撃者かのどちらかで表されることが多いです。その中間として、ゲーム理論の意味で合理的に振る舞うプレイヤーを考え、低いコストで暗号プロトコルを実現する技術を目指しています。

※イメージ画像

誤り訂正符号↗

誤り訂正符号は、符号化した文字列どうしが互いに離れていれば、誤りが起きても元の文字列に戻せるというしくみです。暗号技術を使って訂正の能力を高める方法や、エクスパンダーグラフを使った符号の設計、量子ノイズに強い符号の設計に関心を持っています。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。