12月17日(金) 午後 13:10 - 16:55 |
(1) |
13:10-13:35 |
Time-Capsule Encryption |
○Maki Yoshida(Osaka Univ.)・Shigeo Mitsunari(u10 Networks)・Toru Fujiwara(Osaka Univ.) |
(2) |
13:35-14:00 |
法p+1,p+2による法pの乗算剰余算の高速化に関する実験的検討 |
○小島秀崇・林 彬(金沢工大) |
(3) |
14:00-14:25 |
電子透かしを用いた情報の隠蔽 |
○劉 恒・藤村 基・藤村真生・久津和敏朗(阪工大) |
|
14:25-14:40 |
休憩 ( 15分 ) |
(4) |
14:40-15:05 |
インターネットにおける動的データ改竄検知方式 |
○高屋敷光一・猪股俊光・曽我正和(岩手県立大) |
(5) |
15:05-15:30 |
ユーザ生成情報を利用したホームページ改竄検知システム |
○熊谷文宏・猪股俊光・曽我正和(岩手県立大) |
|
15:30-15:40 |
休憩 ( 10分 ) |
(6) |
15:40-16:05 |
イベント順序証明システムの実現機構 |
○石本英隆・小野 諭・堀田英一(NTT) |
(7) |
16:05-16:30 |
イベント順序証明システムの脅威分析 |
○折原慎吾・小野 諭・堀田英一・石本英隆(NTT) |
(8) |
16:30-16:55 |
Formal proof of correctness of scalable event-ordering system |
○Mizuhito Ogawa(JAIST)・Eiichi Horita・Satoshi Ono(NTT) |