| 日時 | 3月 2日 (金), 3日 (土) |
| 会場 | 電気通信大学 総合研究棟 601 会議室 | 〒182-8585 東京都調布市調布ケ丘 1-5-1 |
| 大学へのアクセス / キャンパスマップ (21番) | |
| 世話役 | 太田 (電気通信大学), 國廣 (電気通信大学), 櫻井 (九州大学) 高木 (公立はこだて未来大学), 田中 (東京工業大学) |
| 昨年に続きまして今年も、特定領域研究「新世代の計算限界」の 暗号関係ミニ研究集会を開催いたします。 研究集会一日目の後には懇親会も予定しております。 |
| 13:30-14:30 | Provably Secure の入門 (チュートリアル) 太田 和夫 (電気通信大学) |
| 14:30-14:45 | 休憩 |
| 14:45-15:15 | 耐タンパ性を備えたユニークデバイスに基づく暗号認証基盤の検討 今本 健二 (九州大学) |
| 15:15-16:00 | ペアリング暗号の安全な高速実装について 高木 剛 (公立はこだて未来大学) |
| 16:00-16:15 | 休憩 |
| 16:15-16:45 | 指定検証者署名の定式化、および、送信者と受信者の匿名性について 大山 千尋 (東京工業大学) |
| 16:45-17:30 | Concurrently Secure Password-based Authenticated Key Exchange
without Random Oracles or Setup Assumptions 米山 一樹 (電気通信大学) |
| 18:00- | 懇親会 |
| 9:30-10:30 | スタンダードモデル PA の基礎に関して 寺西 勇 (NEC) |
| 10:30-10:45 | 休憩 |
| 10:45-11:30 | Non-Malleability Definitions Reconsidered 宮川 聡 (電気通信大学) |
| 11:30-12:15 | Collusion-resistant Private Association Rules Mining in Distributed
Environment 蘇 春華 (九州大学) |
| 12:15-13:30 | 昼食 |
| 13:30-14:15 | セキュリティプロトコルの Functionality 合成について 今本 健二 (九州大学) |
| 14:15-15:45 | 格子問題をベースとした暗号について 草川 恵太 (東京工業大学) |