抖阴旅行射

【本学研究者情报】

〇電気通信研究所　教授 本間尚文

〇電気通信研究所　助教 上野 嶺

【発表のポイント】

• 半导体集积回路（滨颁）チップの设计データに挿入された不正な机能（ハードウェアトロイ）を高速かつ漏れなく検知する新技术を开発．
• 数学的な等価性判定の技法を駆使することで，これまで困难だった大规模で复雑な滨颁设计データにも适用可能．
• 特にセキュリティ向けハードウェア?システム製品の信頼性?安全性向上に贡献．

【概要】

近年，インターネットに接続する身近な機器が設計?製造段階で改ざんされ，システム使用開始後に不正な振る舞いを起こす「ハードウェアトロイ Hardware Trojan: HT)」の脅威が指摘されています．東北大学電気通信研究所は，半導体集積回路（IC）チップの設計データに含まれるHTを高速かつ漏れなく検知する新技術を開発しました．今回開発した技術では，設計仕様と設計データの等価性をグレブナー基底と呼ばれる数学的な表現を用いて検証することで，機能改変を伴うあらゆるHTの検知が可能です．また，これまで難しかった大規模で複雑な回路データにも適用できます．さらには，秘密情報保護やプライバシー保護で必要な暗号回路等のセキュリティ向けICのHT検知に効果を発揮することも実証しました．今回開発した技術は，ICチップおよびそれを搭載した製品の信頼性?安全性向上に大きく貢献することが期待されます．

この成果は，米国電気電子学会（IEEE）の主要国際学術誌IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systemsの2022年3月号に掲載されました．

详细（プレスリリース本文）

问い合わせ先

东北大学　电気通信研究所　
担当:　教授 本間尚文，助教 上野嶺
电话:　022-217-5506
E-mail: contact.ecsislab*grp.tohoku.ac.jp（*を@に置き換えてください）