• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2015 Fiscal Year Annual Research Report

ガロア体算術演算に基づくVLSIデータパスの形式的設計技術の開拓

Research Project

Project/Area Number 25240006
Research InstitutionTohoku University

Principal Investigator

本間 尚文  東北大学, 情報科学研究科, 准教授 (00343062)

Co-Investigator(Kenkyū-buntansha) 青木 孝文  東北大学, 情報科学研究科, 教授 (80241529)
Project Period (FY) 2013-04-01 – 2017-03-31
Keywords計算機システム / システムオンチップ / ハードウェアセキュリティ
Outline of Annual Research Achievements

平成27年度は,研究実施計画に基づいて,前年度までに開発・拡張したガロア体上の算術演算回路の設計・検証手法を応用し,暗号プロセッサデータパスの形式的設計に取り組んだ.設計対象としては,現在世界で最も広く利用されているISO/IEC国際標準ブロック暗号であるAESを選定した.AESはその暗号化・復号処理全体がガロア体上の演算として代数的に記述されるため,GF-ACGによりデータパス全体を記述可能である.また,現在のブロック暗号はAESと同様に処理全体が代数的に表現されることが多いため,AESに適用することにより他の暗号への応用も期待できる.ここでは,まず,高速性や低消費電力性に優れたデータパスをGF-ACGを用いて形式的に設計し,その主要な構成要素の検証時間を評価した.次に,上記で設計した暗号プロセッサをASICセミカスタム設計を行って,性能評価を実施した.特に,回路面積や消費電力,演算速度を従来設計の回路と比較し,同等の性能を有する回路を設計可能であることを確認した.さらに,設計した回路のサイドチャネル攻撃に対する耐性を検討した.本実験では,本研究代表者らが開発したサイドチャネル攻撃標準評価ボードSASEBO-R/-Wに暗号コアを搭載し,マイクロ磁界プローブ等を用いて消費電力・放射電磁波を測定した.測定した波形の評価には,現在最も強力な攻撃の一つである選択平文型の電力・電磁波解析を用いた.また,Xilinx FPGAのディジタルクロック制御機能を利用して意図的に発生させたグリッチを用いた故障利用攻撃実験も実施した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

当初予定している成果が得られており,今後の計画に対する道筋も見えている.研究を進めるにつれて新たな課題も出現しているが,実験方法等の変更で対応可能であり,研究計画を変更するほどではない.

Strategy for Future Research Activity

現時点では研究を遂行する上での問題点はないため,今後も研究計画にしたがって推進していく.

  • Research Products

    (18 results)

All 2016 2015

All Journal Article (7 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 7 results,  Acknowledgement Compliant: 5 results) Presentation (7 results) (of which Int'l Joint Research: 2 results,  Invited: 4 results) Book (4 results)

  • [Journal Article] Improved Power Analysis on Unrolled Architecture and Its Application to PRINCE Block Cipher2016

    • Author(s)
      Ville Yli-Maeyry, Naofumi Homma, and Takafumi Aoki
    • Journal Title

      Fourth International Workshop on Lightweight Cryptography for Security & Privacy

      Volume: 1 Pages: 148-163

    • DOI

      10.1007/978-3-319-29078-2_9

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Formal Approach to Designing Multiple-Valued Arithmetic Circuits2015

    • Author(s)
      Kazuya Saito, Naofumi Homma, and Takafumi Aoki
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: 24 Pages: 21-34

    • Peer Reviewed
  • [Journal Article] Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation2015

    • Author(s)
      Rei Ueno, Naofumi Homma, Yukihisa Sugawara, and Takafumi Aoki
    • Journal Title

      2015 IEEE 45th International Symposium on Multiple-Valued Logic

      Volume: 1 Pages: 48-53

    • DOI

      10.1109/ISMVL.2015.16

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] System for Automatic Generation of Parallel Multipliers over Galois Field2015

    • Author(s)
      Yukihisa Sugawara, Rei Ueno, Naofumi Homma, and Takafumi Aoki
    • Journal Title

      IEEE 45th International Symposium on Multiple-Valued Logic

      Volume: 1 Pages: 54-59

    • DOI

      10.1109/ISMVL.2015.15

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Electromagnetic Analysis against Public-Key Cryptographic Software on Embedded OS2015

    • Author(s)
      Hajime Uno, Sho Endo Naofumi Homma, Yu-ichi Hayashi, and Takafumi Aoki
    • Journal Title

      IEICE Transactions on Communications

      Volume: E98-B Pages: 1242-1249

    • DOI

      10.1587/transcom.E98.B.1242

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Silicon-level Countermeasure against Fault Sensitivity Analysis and Its Evaluation2015

    • Author(s)
      Sho Endo, Yang Li, Naofumi Homma, Kazuo Sakiyama, Kazuo Ohta, Daisuke Fujimoto, Makoto Nagata, Toshihiro Katashita, Jean-Luc Danger, and Takafumi Aoki
    • Journal Title

      IEEE Transactions on Very Large Scale Integration Systems

      Volume: 23 Pages: 1429-1438

    • DOI

      10.1109/TVLSI.2014.2339892

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Highly Efficient GF(2^8) Inversion Circuit Based on Redundant GF Arithmetic and Its Application to AES Design2015

    • Author(s)
      Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Yasuyuki Nogami, and Takafumi Aoki
    • Journal Title

      Cryptographic Hardware and Embedded Systems - CHES 2015

      Volume: 1 Pages: 63-80

    • DOI

      10.1007/978-3-662-48324-4_4

    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] 一般化マスキングスキームに基づく耐タンパー性暗号ハードウェアの自動合成2016

    • Author(s)
      上野嶺,菅原幸弘,本間尚文,青木孝文,森岡澄夫
    • Organizer
      2016 年暗号と情報セキュリティシンポジウム
    • Place of Presentation
      ANAクラウンプラザホテル熊本ニュースカイ(熊本市)
    • Year and Date
      2016-01-20
  • [Presentation] 冗長表現に基づく高効率ガロア体算術演算回路の設計2016

    • Author(s)
      上野嶺,本間尚文,菅原幸弘,野上保之,青木孝文
    • Organizer
      第29回多値論理とその応用研究会
    • Place of Presentation
      東北大学(仙台市)
    • Year and Date
      2016-01-09
  • [Presentation] Hardware security - A New Challenge of Microelectronics2015

    • Author(s)
      Naofumi Homma
    • Organizer
      2015 International Workshop on Emerging Technologies of Microelectronics and Their Application to IoT Paradigm
    • Place of Presentation
      Honolulu, USA
    • Year and Date
      2015-12-11
    • Int'l Joint Research / Invited
  • [Presentation] Recent Topics on Hardware Security2015

    • Author(s)
      Naofumi Homma
    • Organizer
      2015 International Workshop on Information and Communication Security
    • Place of Presentation
      札幌市産業振興センター(札幌市)
    • Year and Date
      2015-12-09
    • Int'l Joint Research / Invited
  • [Presentation] CRYPTRECにおける最新の共通鍵暗号性能評価2015

    • Author(s)
      本間尚文
    • Organizer
      IoTセキュリティフォーラム
    • Place of Presentation
      御茶ノ水ソラシティカンファレンスセンター(千代田区)
    • Year and Date
      2015-09-30
    • Invited
  • [Presentation] マルチパーティ計算に基づく暗号ハードウェアの形式的設計に関する検討2015

    • Author(s)
      菅原幸弘, 上野嶺, 本間尚文, 青木孝文
    • Organizer
      第38回多値論理フォーラム
    • Place of Presentation
      北海道大学(札幌市)
    • Year and Date
      2015-09-13
  • [Presentation] 暗号システムへのサイドチャネル攻撃とその対策2015

    • Author(s)
      本間尚文
    • Organizer
      スマートインフォメディアシステム研究会
    • Place of Presentation
      関西大学(吹田市)
    • Year and Date
      2015-09-03
    • Invited
  • [Book] Smart Card Research and Advanced Applications2016

    • Author(s)
      Naofumi Homma, and Marcel Medwed
    • Total Pages
      287
    • Publisher
      Springer
  • [Book] Special Issue on Emerging Topics in Multiple-Valued Logic and Applications, IEEE Journal on Emerging and Selected Topics in Circuits and Systems2016

    • Author(s)
      Vincent Gaudet, Jon T. Butler, Robert Wille, and Naofumi Homma
    • Total Pages
      100
    • Publisher
      IEEE Circuits and Systems Society
  • [Book] 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography2015

    • Author(s)
      Naofumi Homma and Victor Lomne
    • Total Pages
      109
    • Publisher
      IEEE Computer Society
  • [Book] 電子情報通信学会学会誌2015

    • Author(s)
      林優一,本間尚文,青木孝文,曽根秀昭
    • Total Pages
      96 (60-65)
    • Publisher
      電子情報通信学会

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi