算術演算回路の形式的検証手法とその評価(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,筆者らの提案する算術アルゴリズム記述言語ARITHを用いた算術演算回路の形式的設計について述べる.ARITHでは,多進数系や冗長数系を含む多様な数系に基づく算術アルゴリズムを整数方程式により記述可能である.ARITHによって記述された算術演算回路は,数式処理を用いた検証によってその機能の正当性が検証される.本稿では,提案する検証手法と従来の*BMDに基づく形式的検証手法を比較し,両者の利点を組み合わせることで効率的な検証が可能となることを示す.
- 一般社団法人情報処理学会の論文
- 2006-11-28
著者
-
本間 尚文
東北大学大学院情報科学研究科
-
青木 孝文
東北大学 大学院情報科学研究科
-
樋口 龍雄
東北工業大学工学部電子工学科
-
渡邉 裕樹
東北大学 大学院情報科学研究科
-
本間 尚文
東北大学 大学院情報科学研究科
-
Aoki Takafumi
Graduate School Of Information Sciences Tohoku University:(present Address)presto Jst.
-
Higuchi Tatsuo
Tohoku Inst. Technol. Sendai‐shi Jpn
-
Higuchi Tatsuo
Department Of Electronics Tohoku Institute Of Technology
-
Higuchi Tatsuo
Department Of Electronic Engineering Tohoku Institute Of Technology
-
Higuchi Tatsuo
The Department Of Electronics Faculty Of Engineering Tohoku Institute Of Technology
-
Higuchi Tatsuo
The Department Of System Information Sciences Graduate School Of Information Sciences Tohoku Univers
-
Higuchi Tatsuo
Hitachi Ltd. Central Research Laboratory
-
羽生 貴弘
東北大 電通研
-
渡辺 裕樹
名古屋大学大学院情報科学研究科 社会システム情報学専攻
関連論文
- 受動型ステレオビジョンを用いた2D・3D複合顔認証
- 暗号モジュールへのサイドチャネル攻撃とその安全性評価の動向(マルチメディア情報ハイディング技術とその応用論文)
- 位相限定相関法とそのバイオメトリクス認証への応用(チュートリアル講演,通信品質,メディア・インタフェース及び一般)
- 位相限定相関法による高精度画像マッチング--人体の画像計測および医用画像処理への適用を例として
- 位相情報を用いた主成分分析による掌紋認証アルゴリズム(テーマセッション,手,顔,身体表現の認識,理解)
- 位相情報を用いた主成分分析による掌紋認証アルゴリズム(テーマセッション4)
- 位相情報に基づく画像マッチング技術とその応用展開 : 3Dビジョンからバイオメトリクスまで
- 大規模災害のための歯科X線画像認識システムと性能評価(若葉研究者の集い2,サマーセミナー(若葉研究者の集い))
- 位相限定相関法に基づく画像マッチングのGPU実装とその応用(若葉研究者の集い4,サマーセミナー(若葉研究者の集い))
- 位相限定相関法を用いた3次元計測の高精度化と性能評価(若葉研究者の集い3,サマーセミナー(若葉研究者の集い))
- 位相限定相関法を用いた超解像デインタレーシング(ディジタル信号処理)
- プロジェクタ・カメラシステムを用いた投影画像の幾何補正に関する実験的検討(信号処理,知的マルチメディアシステム,及び一般)
- プロジェクタ・カメラシステムを用いた投影画像の幾何補正に関する実験的検討
- RSA暗号プロセッサのFPGA実装に対する平文選択型SPAの評価(応用技術,リコンフィギャラブルシステムとその応用論文)
- 暗号モジュールへのサイドチャネル攻撃とその安全性評価の動向
- 知っておきたいキーワード(第58回)サイドチャネル攻撃
- 位相限定相関法を用いた顔認証アルゴリズムの検討(信号処理,知的マルチメディアシステム,及び一般)
- 位相限定相関法を用いた顔認証アルゴリズムの検討
- 一次元位相限定相関法に基づくステレオ画像の高精度サブピクセル対応付け手法(画像認識,コンピュータビジョン)
- 歯科X線写真のための位相限定相関法を用いた高精度位置合せアルゴリズム(画像処理・表示,医用画像論文)
- B-18-1 位相限定相関法を用いた指紋認証アルゴリズムのFPGA実装(B-18. バイオメトリクス・セキュリティ,一般セッション)
- 位相限定相関法に基づく虹彩認証アルゴリズムとその高性能化--低画質な虹彩画像に対してもロバストな認証を実現
- 位相限定相関法を用いた掌紋認証アルゴリズムとその高性能化 (第21回 回路とシステム軽井沢ワークショップ論文集)
- 受動型3次元顔認証システムとその性能評価(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 映像のサブピクセル動き推定の実験的検討(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 位相限定相関法に基づく高精度波形解析とそのサイドチャネル攻撃への応用(情報通信基礎サブソサイエティ合同研究会)
- D-12-58 位相限定相関法に基づく高精度受動型3次元形状計測システムの開発(D-12.パターン認識・メディア理解,一般講演)
- 表情変化にロバストな3次元顔認証アルゴリズムの検討 (第21回 回路とシステム軽井沢ワークショップ論文集) -- (インタラクティブセッション)
- 磁性薄膜を用いた暗号LSIのサイドチャンネルアタック抑制法とその効果検証
- オンチップ集積化マイクロ磁界プローブを用いた暗号LSIの近傍磁界計測(放送/一般)
- ISO標準ブロック暗号のASICハードウェア性能評価(情報通信基礎サブソサイエティ合同研究会)
- BT-4-4 位相情報に基づく画像マッチングとバイオメトリクス認証への応用(BT-4.若手研究者によるバイオメトリックセキュリティ関連研究の新提案,チュートリアルセッション,ソサイエティ企画)
- インターネット共有画像を利用した事例ベース超解像画像処理(画像処理・符号化とアプリケーション)
- RI-006 特徴点を用いた投影画像の幾何補正手法の性能評価(グラフィクス・画像,査読付き論文)
- 暗号モジュールの電磁的な情報漏洩の解析
- 位相情報を用いた主成分分析による掌紋認証アルゴリズム(テーマセッション,手,顔,身体表現の認識,理解)
- 受動型ステレオビジョンによる2D・3D複合顔認証--アルゴリズムからプロトタイプ顔認証システムの開発まで
- RSA暗号プロセッサ自動生成システムの設計と評価
- 画像共有サービスを利用した静止画符号化方式(研究速報,静止画像符号化,画像符号化・映像メディア処理レター)
- 映像のサブピクセル動き推定の実験的検討(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 映像のサブピクセル動き推定の実験的検討(システムLSIの応用と要素技術,専用プロセッサ,プロセッサ,DSP,画像処理技術及び一般)
- 位相限定相関法を用いた顔認証アルゴリズムの検討(信号処理,知的マルチメディアシステム,及び一般)
- オンチップ集積化マイクロ磁界プローブを用いた暗号LSIの近傍磁界計測(放送/一般)
- 並列プレフィックス加算器を用いた算術演算モジュールの自動生成(信号処理,LSI,及び一般)
- 並列プレフィックス加算器を用いた算術演算モジュールの自動生成(信号処理,LSI,及び一般)
- 並列プレフィックス加算器を用いた算術演算モジュールの自動生成(信号処理,LSI,及び一般)
- ISO標準ブロック暗号のASICハードウェア性能評価(情報通信基礎サブソサイエティ合同研究会)
- ISO標準ブロック暗号のASICハードウェア性能評価(情報通信基礎サブソサイエティ合同研究会)
- Counter Tree Diagramによる多値算術演算回路の最適設計 (第20回 回路とシステム軽井沢ワークショップ論文集) -- (演算器設計)
- 算術演算回路の形式的検証手法とその評価(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 算術演算回路の形式的検証手法とその評価(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 算術演算回路の形式的検証手法とその評価(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 算術演算回路の形式的検証手法とその評価
- 位相限定相関法に基づく高精度波形解析とそのサイドチャネル攻撃への応用(情報通信基礎サブソサイエティ合同研究会)
- 位相限定相関法に基づく高精度波形解析とそのサイドチャネル攻撃への応用(情報通信基礎サブソサイエティ合同研究会)
- RC-003 RSA暗号プロセッサジェネレータの設計と評価(ハードウェア・アーキテクチャ,査読付き論文)
- ハッシュ関数Whirlpoolの高スケーラブル回路アーキテクチャ
- 算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般)
- 算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般)
- 算術アルゴリズム記述言語ARITHに基づく算術演算回路の形式的設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般)
- C-039 帯域分割法に基づく広帯域信号計測(ハードウェア・アーキテクチャ,一般論文)
- L-008 AESのハードウェア実装に対するテンプレート攻撃(ネットワーク・セキュリティ,一般論文)
- L-007 周波数領域での暗号モジュールの電力解析(ネットワーク・セキュリティ,一般論文)
- サイドチャネル攻撃
- 冗長数系に基づく高速加算器の最適設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般)
- 冗長数系に基づく高速加算器の最適設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般)
- 冗長数系に基づく高速加算器の最適設計(ハードウェア/ソフトウェア設計技術, 信号処理, LSI, 及び一般)
- 算術アルゴリズム記述言語を用いた乗算器モジュールジェネレータの構築(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 算術アルゴリズム記述言語を用いた乗算器モジュールジェネレータの構築(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 算術アルゴリズム記述言語を用いた乗算器モジュールジェネレータの構築(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 算術アルゴリズム記述言語を用いた乗算器モジュールジェネレータの構築(アルゴリズム)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- Counter Tree Diagramに基づく冗長加算器の系統的設計手法 : 冗長2進加算器設計の例(演算回路)(システムLSIの設計技術と設計自動化)
- A-3-10 Counter Tree Diagram に基づく冗長2進加算器の設計(A-3. VLSI設計技術)
- 算術回路構造の進化的生成
- 算術回路構造の進化的生成
- 算出回路構造の進化的生成
- SNRに基づいた電子機器からの情報取得性に関する基礎的検討
- 進化的グラフ生成システムに基づく算術アルゴリズム設計の提案
- ハッシュ関数Luffaのハードウェア実装
- B-4-58 暗号モジュールに対する意図的な電磁妨害に関する検討(B-4. 環境電磁工学,一般セッション)
- 意図的な電磁妨害による暗号モジュールへの故障注入に関する検討
- 情報機器における放射電磁界分布と電磁的情報漏洩に関する基礎的検討
- 意図的な電磁妨害による暗号モジュールへの故障注入メカニズムに関する検討 (環境電磁工学)
- 情報機器からの電磁情報漏洩における情報取得性の予測に関する検討
- 国際会議CHES 2011報告
- 周波数領域における電磁波解析の効率化に関する検討
- 暗号モジュールに対するサイドチャネル攻撃とその対策技術の研究動向
- 意図的な電磁妨害によるフォールト発生メカニズムに関する基礎的検討 (エレクトロニクスシミュレーション)
- 意図的な電磁妨害によるフォールト発生メカニズムに関する基礎的検討 (環境電磁工学)
- 意図的な電磁妨害による暗号モジュールへの故障注入メカニズムに関する検討
- LED暗号ハードウェアに対する相関電力解析とその対策
- 選択したデータセットを用いた暗号デバイスの電磁情報漏えいの効率的な安全性評価(多様化する電磁環境におけるEMC対策設計・評価技術論文)
- 第58回 サイドチャネル攻撃(知っておきたいキーワード)
- A-7-5 漏えい電磁情報を用いた任意の処理への非侵襲な故障注入手法(A-7.情報セキュリティ,一般セッション)
- BI-1-1 安全・安心な情報通信社会を実現する電磁情報セキュリティ評価・対策技術(BI-1.安全・安心な情報通信会社を実現する電磁情報セキュリティ評価・対策技術,依頼シンポジウム,ソサエティ企画)
- BI-1-6 意図的な電磁妨害による暗号デバイスからの情報漏えいの脅威とその対策(BI-1.安全・安心な情報通信会社を実現する電磁情報セキュリティ評価・対策技術,依頼シンポジウム,ソサエティ企画)
- BI-1-9 実践的教育プログラムを通じた電磁情報セキュリティ人材の育成(BI-1.安全・安心な情報通信会社を実現する電磁情報セキュリティ評価・対策技術,依頼シンポジウム,ソサエティ企画)
- 暗号モジュールから漏洩する情報を利用するサイドチャネル攻撃
- 暗号機器に故障を引き起こす妨害電磁波の可視化(PCB,情報セキュリティ,EMC,一般)
- 漏えい情報を用いた注入タイミングを制御可能な暗号モジュール外部からの故障注入メカニズムに関する検討(EMC一般,マイクロ波,電磁界解析)