二段階動作合成によるグループ署名ASICの実装と評価(設計事例,システムオンシリコンを支える設計技術)
スポンサーリンク
概要
- 論文の詳細を見る
匿名性をサポートした新しい電子署名アルゴリズムであるグループ署名をASIC実装して評価した.筆者らが知る限り,従来,同署名の回路化の報告はない.従来の暗号回路とは異なり,公開鍵暗号演算やハッシュ演算が約70回組み合わさる複雑な処理なので,RTL設計は無論,動作合成を利用しても回路化や検証が難しい.そこで,動作合成よりも上位にグループ署名に特化したマクロアーキテクチャ合成系を構築する等,設計フローを工夫した.0.25umゲートアレイという安価なプロセスのもとでも,低消費電力(425mW@100MHz)かつ3GHz PC S/Wと同等の高速度(署名生成0.135秒@100MHz)を達成できた.セキュリティ演算の複雑化により,今後,同様の設計フローの必要性が増すと考えられる.
- 2010-03-03
著者
-
森岡 澄夫
日本電気システムIPコア研究所
-
荒木 俊則
日本電気共通基盤ソフトウェア研究所
-
一色 寿幸
日本電気共通基盤ソフトウェア研究所
-
尾花 賢
日本電気共通基盤ソフトウェア研究所
-
佐古 和恵
日本電気共通基盤ソフトウェア研究所
-
森岡 澄夫
大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
-
森岡 澄夫
日本電気株式会社システムipコア研究所
-
尾花 賢
日本電気株式会社
関連論文
- V850マイコンとパソコンをつないで並列処理 USB接続型赤外線学習リモコンの製作事例 (特集 OSの移植から学習リモコン,CDプレーヤ,しゃべる抽選機の製作まで 必見! フレッシャーズ特別企画(第2弾)V850マイコン基板で作る! 遊ぶ! 学ぶ!)
- 二段階動作合成によるグループ署名ASICの実装と評価 (VLSI設計技術)
- 減色機能を備えるアニメーション向けフォント生成ツールを作成 FRマイコンのOSD機能を使って「初音ミク」アニメーション
- 効率的なグループ署名を実現する楕円曲線の構成方法
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 急激に変化する黎明期から,緩やかな成熟期へ LSI/FPGA設計の現状と今後 (特集 HDLをごりごり書かずにSoCやFPGAが設計できる! 複雑化する回路設計にC言語やUMLで反撃!)
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- 二段階動作合成によるグループ署名ASICの実装と評価(設計事例,システムオンシリコンを支える設計技術)
- 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
- ASLプログラム開発システムにおける検証の自動化について
- 共通鍵暗号AESの低消費電力論理回路構成法
- 効率的なグループ署名を実現する楕円曲線の構成方法
- 効率的なグループ署名を実現する楕円曲線の構成方法
- in-order実行パイプラインCPUの正しさの自動証明例
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- グループ署名回路のアーキテクチャ最適化
- グループ署名回路のアーキテクチャ最適化
- 候補者のプライバシーを考慮した電子投票
- セキュリティとプライバシを両立させる匿名認証技術について
- ミックスネットについて : 電子データをシャッフルする方法 (符号と暗号の代数的数理)
- シャッフリングによる大規模電子投票システムの実現
- ECにおける暗号技術 (EC(電子商取引)特集)
- インタ-ネットにおけるセキュリティ技術の役割 (インタ-ネット特集)
- 電子承認システムSIGNET
- 多重並列グループ署名の低消費電力回路アーキテクチャ (VLSI設計技術)
- 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- 短い個人鍵の不正者のブラックボックス失効が可能な放送型暗号方式
- (サービス・公共施設におけるIT)電子投票の実現(暮らしの中のIT : 身近な応用システム)
- in-order実行パイプラインCPUの正しさの自動証明例
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- 並列実行される動作におけるデータ代入の衝突の判定
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- 二段階動作合成によるグループ署名ASICの実装と評価
- ハードウェアで高速並列処理を実現したリードソロモン復号アルゴリズム(下)アルゴリズムの詳細と回路化のためのポイント
- ハードウェアで高速処理を実現したリードソロモン復号アルゴリズム(上)高速化のための工夫と応用例
- 組み合わせ回路で実現したReed-Solomon符号・復号器の論理簡単化
- 組み合わせ回路による高速Reed-Solomon符号化復合化方式
- 処理のあらましを理解して回路を作ろう わかる! CRC計算回路の作り方とアレンジ
- スペ-スシャトルに使われているコンピュ-タ技術
- スペ-スシャトルに使われているコンピュ-タ技術
- 多重並列グループ署名の低消費電力回路アーキテクチャ(アーキテクチャ設計1,システムオンシリコンを支える設計技術)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告 (情報理論 一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告 (ワイドバンドシステム 一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告 (情報セキュリティ 一般:情報通信基礎サブソサイエティとの合同研究会)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例 (暗号と情報セキュリティ実装技術論文小特集)
- グループ署名回路のクラウドサーバ/クライアント向け実装方法 (回路とシステム)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例(グループ署名回路,暗号と情報セキュリティ実装技術論文)
- グループ署名回路のクラウドサーバ/クライアント向け実装方法(招待講演)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例
- インデックス更新時の情報漏えいが少ない検索可能暗号(一般:情報通信基礎サブソサイエティとの合同研究会)
- インデックス更新時の情報漏えいが少ない検索可能暗号(一般:情報通信基礎サブソサイエティとの合同研究会)
- インデックス更新時の情報漏えいが少ない検索可能暗号(一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告(一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告(一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告(一般:情報通信基礎サブソサイエティとの合同研究会)
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告
- 準同型暗号を用いたプライバシー保護型統計演算のソフトウェア実装報告