B2 暗号解析手法の计算量理论による改良とそれに基づく暗号方式.ppt

B2: 暗号解析手法の計算量理論による改良とそれに基づく暗号方式 河内　亮周 （東京工業大学） 戸田　誠之助 （日本大学） 渡辺　治 （東京工業大学） 田中　圭介 （東京工業大学） 研究の目的と活動の概要 暗号の安全性に関する精密な解析手法の開発（戸田） chordal graphを対象としたグラフ同型性判定問題ならびにグラフ自己同型群計算問題 暗号の効率に関する精密な解析手法の開発（渡辺, 河内） 充足可能性問題に対する考察，計算量クラスの相対化における妥当な比較の枠組 目的１および２に基づく具体的暗号方式の提案（田中） 世話人となった研究集会 ミニ研究集会: chordal graphに関する計算問題ならびにアルゴリズム Chordal graphに関する計算問題ならびにアルゴリズムを中心に研究成果の発表と新たな課題探求に向けた討論を行った． 日時: 2005 年
3 月 19 日(土)　午前10時-午後6時 場所: 日本大学文理学部8号館レクチャーホール 参加者数: 20名 世話人: 戸田 誠之助 (日大) プログラム Computing automorphism groups of chordal graphs whose simplicial components are of small size (戸田 誠之助 (日大)) 2-リンクパズルの多項式時間解法 (牧野 格三 (東工大)) On the Laminar Structure of Ptolemaic and Distance Hereditary Graphs (上原 隆平 (JAIST), 宇野 裕之 (大阪府立大学)) On precoloring extension problem (名古屋 孝幸（東京電機大学)) Computational Distinguishability between Quantum States and Its Applications (河内 亮周 （東工大)) 第1回 暗号関係ミニ研究集会 日時: 2006年2月16日(木) 13:00-17:30 場所: はこだて未来大学 小講義室585 参加者: 20名 世話人: 太田 和夫 (電気通信大学) 國廣 昇 (電気通信大学) 櫻井 幸一 (九州大学) 高木 剛 (はこだて未来大学) 田中 圭介 (東京工業大学) プログラム Privacy-preserving Text Mining in Distributed Environment Chunhua Su, Kouichi Sakurai (九州大学) Pairing Implementation using Hyperelliptic Curves Colm O hEigeartaigh (Dublin City University) A Survey about Side Channel Attacks on XTR Dong-Guk Han, Tsuyoshi Takagi (はこだて未来大学) オフライン検証性を満たす追跡不可能な量子現金 國廣 昇 (電気通信大学) 離散対数問題系に基づく安全で効率的な署名方式 太田 和夫 (電気通信大学) 匿名性をもつ公開鍵暗号 林 良太郎, 田中 圭介 (東京工業大学) プログラム 1 日目 証明可能安全性理論に向けて　太田 和夫 (電気通信大学) 耐タンパ性を備えたユニークデバイスに基づく暗号認証基盤の検討　蘇 春華 (九州大学) ペアリング暗号の安全な高速実装について　高木 剛 (はこだて未来大学) 指定検証者署名の定式化、および、送信者と受信者の匿名性について　大山 千尋 (東京工業大学) Concurrently Secure Password-based Authenticated Key Exchange without Random Oracles or Setup Assumptions　米山 一樹 (電気通信大学) プログラム 2 日目 スタンダードモデル PA の基礎に関して　寺西 勇 (NEC) Non-Malleability Definitions Reconsidered　宮川 聡 (電気通信大学) Collusion-resistant Private Association Rules Mining in Distributed Environment　蘇 春華 (九州大学) Revisiting Zero-Knowledgeness of an On the fly Authentication Scheme　Santoso Bagus （電気通信大学） 格子問題をベースとした暗号につ