Securing the Digital Frontier:
Data, Networks, Systems, and AI

Network Security & AI Security Laboratory

データの機密性、強固なネットワークプロトコルと分散システム、そして信頼されるAI
これらを繋ぐセキュリティの本質を、「理論」と「実装」の両面から探究します

Research Projects

Network Security

IoT・モバイル環境における、設計段階からセキュリティを考慮したプロトコル開発。

Explore More →

AI Security

準同型暗号を用いた「中身を見せない機械学習」や、LLMの安全性を研究。

Explore More →

Distributed Comp.

強化学習と分散コンピューティングを融合し、現実世界のサービスを最適化。

Explore More →

Coursework

現代計算機アーキテクチャ

3年後期。RISC-Vを題材に、パイプライン処理やメモリキャッシュ最適化、並列化手法など、現代的な計算機のパフォーマンス定量化と設計理論を学びます。

Course Detail →

暗号理論

3年前期(2026年度までは4年前期)。古典暗号から現代暗号への転換、共通鍵・公開鍵暗号の数学的基礎、ハッシュ関数、デジタル署名まで、厳密な安全性定義に基づく暗号技術を習得します。

Course Detail →

電子情報ゼミナール

3年後期。情報数学の基礎、プライバシー保護技術、そして強化学習。先端情報の核となるテーマの探究や最新論文の輪読を通じて、未知の課題に挑むための「研究の作法」を実践的に身につけます。

Course Detail →

情報セキュリティ特論

大学院(研究科)科目・隔年開講。離散対数や楕円曲線暗号、ゼロ知識証明、秘密共有、秘密計算など、高度な暗号プロトコルの設計と安全性証明に特化した応用暗号論を探究します。

Course Detail →

Professor's Log

MacBook Pro と PC Linux の向こう側で繰り広げられる悪戦苦闘の記録。リアルな研究の鼓動を抱負な画像と共に目撃せよ。
$ git clone https://github.com/kazuyasakai/sakailab-lab.git

Log #051-#100

TBA

Log #101-#150

TBA