産総研 > RCIS > イベント情報 > 平成20年度研究成果発表会 (RCIS Workshop 2009)

平成20年度研究成果発表会 (RCIS Workshop 2009)

平成20年度の情報セキュリティ研究センターの研究成果発表会は、以下の日程で開催しました。たくさんのご来場、ありがとうございました。

開催情報

日時：	平成21年5月15日（金）午後 13:30-17:30
場所：	秋葉原UDXビルUDXシアター
	JR総武線・山手線・京浜東北線 秋葉原駅下車 徒歩1分
	秋葉原UDXビル 4F地図
定員：	100名程度（定員に達し次第締切）
費用：	無料
お問い合わせ：	産業技術総合研究所 情報セキュリティ研究センター
	〒101-0021
	東京都千代田区外神田1-18-13　秋葉原ダイビル10F 1003号室
	Tel : 03-5298-4722
	Fax : 03-5298-4522
	E-mail : rcis2009@m.aist.go.jp

プログラム

(資料は PDF 形式です)

13:00	開場
13:30-13:35	「開会の辞」
	副研究センター長　米澤　明憲
13:35-13:50	「RCIS の活動概要」
	副研究センター長 渡辺　創

第I部　〜ソフトウェアセキュリティ研究チームの研究紹介〜

13:50-14:00	「ソフトウェアセキュリティ研究チームの活動概要」
	ソフトウェアセキュリティ研究チーム長　柴山　悦哉
14:00-14:30	ソフトウェアセキュリティ研究チームのデモ・ポスター概要紹介
14:30-14:50	デモ・ポスター展示、兼コーヒーブレイク

第II部　〜セキュリティ基盤技術研究チームの研究紹介〜

14:50-15:00	「セキュリティ基盤技術研究チームの活動概要」
	セキュリティ基盤技術研究チーム長　大塚　玲
15:00-15:40	セキュリティ基盤技術研究チームのデモ・ポスター概要紹介
15:40-16:00	デモ・ポスター展示、兼コーヒーブレイク

第III部　〜物理解析研究チーム、及びハードウェアセキュリティ研究チームの研究紹介〜

16:00-16:10	「物理解析研究チームの活動概要」
	物理解析研究チーム長　今福　健太郎
16:10-16:40	物理解析研究チームのデモ・ポスター概要紹介
16:40-16:50	「ハードウェアセキュリティ研究チームの活動概要」
	ハードウェアセキュリティ研究チーム長　佐藤　証
16:50-17:00	全体質疑応答
17:00-17:05	「閉会の辞」
	研究センター長　今井　秀樹
17:05-17:30	デモ・ポスター展示発表、流れ解散

デモ・ポスター展示内容

ソフトウェアセキュリティ研究チームのデモ･ポスター

• 「実用的な暗号の形式的証明に向けて: アセンブリでの多倍長整数アルゴリズムの形式的検証」 Reynald Affeldt
• 「Certifying Assembly with Cryptographic Proofs」　Reynald Affeldt, David Nowak，山田 聖
• 「Verification of Networked Programs Using a Java Model Checker Extension」　Cyrille Artho
• 「Fail-Safe C: 安全性を保証する実用C言語コンパイラの開発」 大岩　寛
• 「ゼロディ攻撃に対する異常挙動解析と挿入可能な仮想マシンモニタによるデバイス制御」 須崎　有康
• 「Live Virtual Machine Forensic」 Anh Quynh Nguyen

セキュリティ基盤技術研究チームのデモ･ポスター

• 「情報セキュリティと社会」　田沼　均
• 「バイオメトリクスのセキュリティ評価に関する研究」　井沼　学
• 「組込システムに対するセキュリティ評価技術の研究開発」　米澤　祥子
• 「Dual-Policy Attribute Based Encryption：フルアクセス制御機能を持つ暗号方式」　Attrapadung Nuttapong
• 「効率的な検索可能ハイブリッド暗号方式」　崔　洋
• 「より高度に安全な実用的公開鍵暗号方式」　花岡　悟一郎
• 「匿名認証のプローブカーへの適用」　繁富　利恵
• 「情報漏えいに堅牢な認証およびその応用」　辛　星漢

物理解析研究チームのデモ・ポスター

• 「Collusion-secure codes under more realistic assumptions」 縫田　光司
• 「State Discrimination In General Probabilistic Theories」　木村　元
• 「量子コルモゴロフ複雑性と量子鍵分配」　宮寺　隆之
• 「Improving Stateful Encryption Schemes」　張　鋭
• 「Key Exchange in Wireless Networks with Physical Layer Security」　Kirill Morozov
• 「QR-JAMとその活用事例」　萩原　学

ハードウェアセキュリティ研究チームのデモ

• 「暗号モジュールからの漏えい情報を利用するサイドチャネル攻撃 〜標準評価プラットフォームによるリアルタイム解析実験〜」　片下　敏宏

司会：主幹研究員　古原　和邦