Header
ポスターセッション発表概要
ガロア体に基づく暗号ハードウェアの形式的トロイ検知手法
○伊東 燦,上野 嶺,本間 尚文(東北大学)
本発表では,暗号ハードウェアに挿入されたハードウェアトロイ(HT)の高速な検知手法を提案する.提案手法では,HTが挿入された場合に,セキュリティ上深刻な影響を与える暗号ハードウェアに焦点をあて,ソフトウェアIPコアなどに予め挿入されたHTの検知を目的とする.具体的には,検証対象のネットリストと,そのゴールデンモデル(設計仕様)の間の等価性検証を行い,これらの間の等価性が満たされなかった場合にHTが挿入されていると判定する.ここで,提案手法ではゼロサプレス型二分決定グラフを用いることで従来のHT検知手法と比べて圧倒的な高速化を実現し,AESなどに挿入されたHTを現実的な時間で検知可能なことを実験的に示す.
《ポスターセッション一覧》