Pat

J-GLOBAL ID：202403019588557079

ハードウエアトロイ検出方法、ハードウエアトロイ検出装置及びハードウエアトロイ検出用プログラム

Inventor： 永田 真一 ,  高橋 功次 ,  戸川 望 ,  大屋 優
Applicant, Patent owner： 東芝情報システム株式会社 ,  学校法人早稲田大学
Agent (3)： 松浦 孝 ,  本田 崇 ,  小倉 洋樹
Gazette classification：特許公報
Application number (International application number)：2020110020
Publication number (International publication number)：2022007202
Patent number：7410476
Application date： Jun. 25, 2020
Publication date： Jan. 13, 2022
Claim (excerpt)：

【請求項1】 検査対象のネットリストに含まれる全論理セルの論理式による演算を行って全論理セルの入出力値の更新を行う入出力更新工程と、 更新された入出力値と閾値との比較結果に基づきハードウエアトロイの検出を行う検出工程と を備え、前記検出工程では、前記検査対象のネットリストに基づく回路規模に対応する回路規模対応閾値と、前記演算を所定回クール行ったときに得られたいずれかの論理セルの入出力値の比較に基づき前記検査対象のネットリスト中のハードウエアトロイの検出を行うことを特徴とするハードウエアトロイ検出方法。

IPC (2)：

G06F 21/56 ( 201 3.01) ,  G06F 30/398 ( 202 0.01)

FI (2)：

G06F 21/56 ,  G06F 30/398

Article cited by the Patent：

Cited by applicant (1)

• Protection Against Hardware Trojans With Logic Testing: Proposed Solutions and Challenges Ahead

Cited by examiner (1)

• Protection Against Hardware Trojans With Logic Testing: Proposed Solutions and Challenges Ahead