---------------------------------------------------------------------
第32回情報セキュリティ研究会プログラム
日時：平成23年8月26日 13時30分～17時00分
場所：北陸先端科学技術大学院大学 マテリアル研究科四棟8F 中セミナ室
-------------------------------------------------------------------------------
プログラム（質疑応答を含む）
13:30 - 14:00 Some Novel Strategies on Finding short RC4 Colliding Key Pairs
陳 嘉耕(JAIST)
14:00 - 14:30 軽量ブロック暗号PRESENTを用いたハッシュ関数への衝突攻撃について
小林 哲也 (福井大学)
14:30 - 15:00 タイムリリース暗号と検索可能暗号方式との関係性について
江村 恵太 (JAIST)
15:00 - 15:30 休憩
15:30 - 16:00 プルーフチェッカMizarによる数論アルゴリズムの形式化
青木 祥希 (信州大学)
16:00 - 17:00 暗号理論のための格子の数学 第6章
鐘 啓源 (JAIST)
-------------------------------------------------------------------------------
18:30 - 20:00 懇親会
場所：交流ホール
===============================================================================
The 32nd Meeting for Information Security Society
*DATE : Aug. 26, 2011 13:30-17:00
PLACE : JAIST MS Middle-seminar room (on 8th floor MS 4th building)
-------------------------------------------------------------------------------
Program (include question time)
13:30 - 14:00 Some Novel Strategies on Finding short RC4 Colliding Key Pairs
Jiageng Chen (JAIST)
14:00 - 14:30 Collision Attack on a hash function using reduced-round PRESENT
Tetuya Kobayasi(Univ. of Fukui)
14:30 - 15:00 A Relationship between Timed-Release Encryption and Searchable Encryption
Keita Emura (JAIST)
15:00 - 15:30 rest time
15:30 - 16:00 Formalization of number theory algorithms by Mizar
Yosiki Aoki(Univ. of Shishu)
16:00 - 17:00 Complexity of Lattice Problems: Chapter6
Kai Yuen Cheong (JAIST)
-------------------------------------------------------------------------------
* Social hour
TIME: 18:30 - 20:00
PLACE: Communication Hall (on 1th floor, JAIST)
We plan to have a party after the meeting.
We are looking forward to your participation and also to having
an opportunity to talk with you.
The fee for the party will be 1,000 yen per person.
