本発表では，暗号ハードウェアに挿入されたハードウェアトロイ（HT）の高速な検知手法を提案する．提案手法では，HTが挿入された場合に，セキュリティ上深刻な影響を与える暗号ハードウェアに焦点をあて，ソフトウェアIPコアなどに予め挿入されたHTの検知を目的とする．具体的には，検証対象のネットリストと，そのゴールデンモデル（設計仕様）の間の等価性検証を行い，これらの間の等価性が満たされなかった場合にHTが挿入されていると判定する．ここで，提案手法ではゼロサプレス型二分決定グラフを用いることで従来のHT検知手法と比べて圧倒的な高速化を実現し，AESなどに挿入されたHTを現実的な時間で検知可能なことを実験的に示す．