---------------------------------------------------------------------
第33回情報セキュリティ研究会プログラム
日時：平成23年10月24日 13時30分～17時00分
場所：北陸先端科学技術大学院大学 情報科学研究科3棟5F コラボ7
-------------------------------------------------------------------------------
プログラム（質疑応答を含む）
13:30 - 14:00 How to construct an elliptic curve with given order N
史 暁楠 (JAIST)
14:00 - 14:30 Unconditionally secure oblivious transfer based on channel delays
鍾 啓源 (JAIST)
14:30 - 15:00 形式化数学記述言語 Mizar によるガウス整数環の形式化
水島 大地（信州大学）
15:00 - 16:00 休憩
16:00 - 16:30 One time signature の効率的な構成の検討
双紙 正和（広島市立大学）
16:30 - 17:00 暗号理論のための格子の数学 第7章
江村 恵太 (JAIST)
-------------------------------------------------------------------------------
18:30 - 20:00 懇親会
場所：情報科学研究科棟3棟8F
===============================================================================
The 33rd Meeting for Information Security Society
*DATE : Oct. 24, 2011 13:30-17:00
PLACE : JAIST IS collaboration room 7 (on 8th floor IS 3rd building)
-------------------------------------------------------------------------------
Program (include question time)
13:30 - 14:00 How to construct an elliptic curve with given order N
Xiao Nan Shi (JAIST)
14:00 - 14:30 Unconditionally secure oblivious transfer based on channel delays
Kai Yuen Cheong (JAIST)
14:30 - 15:00 Formalization of Gaussian interger ring by Using Mizar
Daichi Mizushima(Univ. of Shinshu)
15:00 - 16:00 rest time
16:00 - 16:30 On efficient construction of one time signatures
Masakazu Soushi(Univ. of Hiroshima)
16:30 - 17:00 Complexity of Lattice Problems: Chapter 7
Keita Emura (JAIST)
-------------------------------------------------------------------------------
* Social hour
TIME: 18:30 - 20:00
PLACE: Miyaji lab. (on 8th floor of IS 3rd bldg., 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.
