暗号理論

Google Classroomを利用します

情報セキュリティ技術を, 次のような観点から概説する.

(1) 暗号技術:
暗号, 認証などの暗号技術の基礎
(2) 設定とモデル:
暗号技術はどのような設定(シナリオ)を想定し, 攻撃者のどのような攻撃(ゴール)の下で安全か
(3) 安全性証明:
安全性の数学的な根拠はどこにあるか

離散数学

アルゴリズム論, 離散数学応用

必要な情報を授業中に配布予定

参考書
國廣昇(編著)
暗号の理論と技術〜量子時代のセキュリティ理解のために〜, 講談社
ISBN: 978-4-06-535635-7

以下のスケジュールは仮のものであり、変更の可能性があります.
第1回 (岩本) オリエンテーション(安全性含む)
第2回 (岩本) OTP
第3回 (岩本) 秘密分散法 (SSS)
第4回 (渡邉) 一方向性関数とハッシュ関数
第5回 (岩本) 確立の基礎(オンライン対応)
第6回 (岩本) MPC (SSS) 加算・乗算
第7回 (岩本) MPC (SSS) 安全性証明
第8回 (渡邉) 紛失通信
第9回 (岩本) MPC(Garbled Circuit)
第10回 (渡邉) 代数構造(オンライン対応)
第11回 (渡邉) RSA暗号
第12回 (渡邉) ElGamal暗号
第13回 (渡邉) コミットメント&準同型暗号
第14回 (渡邉) ゼロ知識証明
第15回 (岩本・渡邉) 課題解説等

復習をしっかりと行ってください.

(a) 評価方法:
原則として期末試験の成績に基づいて評価を行う.
レポートなどの評点を成績評価の付加的な判断材料とすることもある.
(b) 評価基準:
基本的な暗号方式の概念を理解して, 暗号・復号の計算ができること, および安全性証明の論理(帰着技法など)を理解し, 基本的な安全性証明が書けることをもって合格基準とする.

Zoomにて随時質問を受け付けます.
質問等があるときは事前にメールでアポイントメントを取ってください.

この講義を100%理解できれば, 論文を読めることを目標にして, 講義を構成しています.

レポートを出さない, もしくは遅れて出した学生には, 試験を受ける資格はありませんので, 注意してください.