--------------------------------------------------------------------- 第34回情報セキュリティ研究会プログラム 日時：平成24年3月13日 9時00分～12時40分 場所：小松グランドホテル ------------------------------------------------------------------------------- プログラム（質疑応答を含む） 09:00 - 09:30 Randomness and one-way functions from simulated chaotic maps 鍾 啓源 (JAIST) 09:30 - 10:00 削除メンバ数が漏洩しないグループ署名方式の提案 江村 恵太 (JAIST) 10:00 - 10:30 木構造データに対するMerkle木に基づく編集可能署名 廣瀬勝一（福井大学） 10:30 - 11:10 休憩 11:10 - 11:40 On the privacy of smart grid Mohammad, S. RAHMAN (JAIST) 11:40 - 12:10 Mizarによる有限体上の楕円曲線の形式化 岡崎裕之（信州大学） 12:10 - 12:40 One time signature の構成について 双紙正和（広島市立大学） =============================================================================== The 34rd Meeting for Information Security Society *DATE : Mar. 13, 2012 09:00-12:40 PLACE : Komatsu GRAND HOTEL ------------------------------------------------------------------------------- Program (include question time) 09:00 - 09:30 Randomness and one-way functions from simulated chaotic maps Kai Yuen Cheong (JAIST) 09:30 - 10:00 A Revocable Group Signature Scheme with the Property of Hiding the Number of Revoked Users Keita Emura (JAIST) 10:00 - 10:30 Redactable Signatures for Tree-Structured Data Based on Merkle Trees Shoichi Hirose（Fukui University） 10:30 - 11:10 Rest 11:10 - 11:40 On the privacy of smart grid Mohammad, S. RAHMAN (JAIST) 11:40 - 12:10 Formalization of E(Fp) in Mizar Hiroyuki Okazaki（Shinsyu University） 12:10 - 12:40 On some constructions of one time signatures Masakazu Soshi（Hiroshima City University）
