Session 1. ハッシュ関数とディジタル署名におけるデータ構造へのアプローチ

09:00 - 09:30 MMO型圧縮関数による倍ブロックハッシュ関数

               ・廣瀬勝一 (福井大学)
               (キーワード：ハッシュ関数，小規模実装，高速処理)

09:30 - 10:30 署名者構造を反映した多重署名に関する一考察

              ・満保 雅浩 (金沢大学)
              (キーワード：準同型,ディジタル署名，署名順序)

10:30 - 10:45 Coffee Break(15分)

Session 2. 暗号理論と離散構造における大量データへのアプローチ

10:45 - 11:15 安全性証明の膨大化への新たな対応指針

               ・花岡 悟一郎 (独立行政法人産業技術総合研究所) 
               (キーワード：大量データ，証明可能安全性，暗号普及)

11:15 - 12:15 膨大な個数の順列データを処理する新しい二分決定グラフ

               ・湊　真一 (北海道大学)
               (キーワード：離散構造処理, 順列と組合せ, 二分決定グラフ)

12:15 - 13:15 昼休憩(60分)

Session 3.  理論あるいは応用の観点からの効率的なアルゴリズム

13:15 - 13:45 共有Z座標を用いた楕円スカラー倍算アルゴリズム

                ・宮地 充子 (JAIST) 
               (キーワード：多項式時間アルゴリズム，メモリ領域削減，高速処理)

13:45 - 14:15 低Hamming 重み標数の素体上における数体篩法の計算機実験 

               ・高木 剛 (九州大学)
               (キーワード：整数プログラミング，素数，低ハミング重み)

14:15 - 15:15 放送におけるサービス展開とセキュリティ 

               ・小川　一人 (NHK放送技術研究所)
               (キーワード：メモリ量削減，計算量削減，匿名)

15:15 - 15:30 Coffee Break（15分）

Session 4. データ制御・処理へのアプローチ

15:30 - 16:30 線型性判定（DLIN）仮定に基づく関数型暗号と属性ベース署名 

               ・高島 克幸 (三菱電機) 
               (キーワード：公開鍵暗号, 属性ベースのアクセス制御, 暗号の安全性向上)

16:30 - 17:30 圧縮テキスト上の効率的な文字列処理アルゴリズム 

               ・竹田 正幸 (九州大学)
               (キーワード：文字列アルゴリズム, 圧縮データ上で動作する文字列アルゴリズム, 文法圧縮)

17:30 - 17:40 Coffee Break (10分)

17:40 - 19:00 議論

※各タイトルをクリックすると講演のアブストラクトが表示されます．

Session 1.  Improvement of Data Structure: Hash Function and Digital Signature

09:00 - 09:30 A Hash Function Using an MMO-Type Double-Block Compression Function 

              ・Shoichi Hirose (University of Fukui) 
               (Keywords: Hash Function, Lightweight Implementation, Fast Computation)

09:30 - 10:30 A Study on the Signature Scheme Verifying the Structure of Signers

              ・Masahiro Mambo (Kanazawa University)  
               (Keywords: Homomorphism, Digital Signature，Signing Order)

10:30 - 10:45 Coffee Break(15 min)

Session 2.  Approach to Huge Information from Cryptology or Discrete Structure

10:45 - 11:15 A Consideration on Cryptographic Schemes with Huge Security Proofs

              ・Goichiro Hanaoka (AIST) 
               (Keywords: Huge Information, Provable Security, Diffusion of Cryptographic Technologies)


11:15 - 12:15 New Decision Diagrams for Manipulating Very Large-Scale Data of Permutations

              ・Shin-ichi Minato (Hokkaido University) 
               (Keywords: Discrete Structure Manipulation, Permutations and Combinations, 
                          Binary Decision Diagram, Efficient Algorithm for Large-Scale Data)

12:15 - 13:15 Lunch Time (60 min)

Session 3.  Approach to Efficient Algorithm: Theory and Application

13:15 - 13:45 Elliptic Curve Scalar Multiplication by using Co-Z Addition Formulae 

              ・Atsuko Miyaji (JAIST) 
               (Keywords: Polynomial Algorithm, Compact Implementation, Fast Computation)

13:45 - 14:15 An Experiment of Number Field Sieve over GF(p) of Low Hamming Weight Characteristic 

              ・Tsuyoshi Takagi (Kyusyu University) 
               (Keywords: Integer Programming, Prime Numbers, Low Hamming Weight)

14:15 - 15:15 Progress of Contents Distribution Service and its Security 

              ・Kazuto Ogawa (Japan Broadcasting Corporation) 
               (Keywords: Reduction of Memory Usage，Reduction of CPU Cost，Anonymity)

15:15 - 15:30 Coffee Break（15 min）

Session 4. Approach to Data Control and Processing

15:30 - 16:30 Functional Encryption and Attribute-Based Signatures from the Decisional Linear (DLIN) Assumption 

              ・Katsuyuki Takashima (Mitsubishi Electric) 
               (Keywords: Public Key Encryption, Attribute-Based Access Control, Security Improvement of an Encryption Scheme)

16:30 - 17:30 Efficient String processing Algorithms over Compressed text 

              ・Masayuki Takeda (Kyushu University) 
               (Keywords: String Algorithms, String Algorithms Over Compressed Data, Grammar-Based Compression)

17:30 - 17:40 Coffee Break (10 min)

17:40 - 19:00 Discussion

[Back ]