論文の概要: An Automated Framework for Generating Stealthy Cell-Embedded Hardware Trojans
- arxiv url: http://arxiv.org/abs/2607.07049v1
- Date: Wed, 08 Jul 2026 06:24:51 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-09 22:50:30.304903
- Title: An Automated Framework for Generating Stealthy Cell-Embedded Hardware Trojans
- Title（参考訳）: ステルスセルを組み込んだハードウェアトロイの木馬の自動生成フレームワーク
- Abstract要約: ハードウェアトロイの木馬 (HT) はゼロトラストモデルの下で異なる段階で信頼できない実体によって挿入することができる。
本稿では, セル埋め込みハードウェアであるTrojansを, 妥協された標準セル実装を用いて自動生成する新しいフレームワークを提案する。
- 参考スコア（独自算出の注目度）: 5.220556673305412
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Hardware Trojans (HTs) pose significant threats across the Integrated Circuit (IC) design lifecycle because they can be inserted by untrusted entities at different stages under the zero-trust model. When triggered under rare conditions, HTs can compromise the functionality, reliability, or security of the fabricated chip. HT assessment is typically performed by modeling realistic Trojan insertion scenarios in RTL implementation or gate-level netlists. While this model is useful for evaluating detection methods, it does not capture attacks where malicious behavior is hidden inside standard-cell implementations from a compromised library supplied by an untrusted vendor. This paper presents a novel framework for automatically generating cell-embedded hardware Trojans using compromised standard-cell implementations. Our proposed framework analyzes a mapped design, identifies candidate cell instances with rare input conditions, and applies payload templates that corrupt the selected cell output only when the trigger condition is satisfied. Experiments on open-source combinational and sequential benchmark designs show that our proposed framework can generate valid and stealthy Trojan instances across different cell types and design sizes. The results highlight a critical gap in current Trojan detection assumptions and show the need for cell-aware validation of standard-cell implementations in zero-trust IC design flows.
- Abstract（参考訳）: ハードウェアトロイの木馬 (HT) は、ゼロトラストモデルの下で異なる段階で信頼できないエンティティによって挿入できるため、集積回路 (IC) 設計ライフサイクル全体において重大な脅威となる。
稀な条件下でトリガされると、HTは製造されたチップの機能、信頼性、セキュリティを損なう可能性がある。
HTアセスメントは一般的に、RTL実装やゲートレベルのネットリストにおける現実的なトロイの木馬挿入シナリオをモデル化することによって行われる。
このモデルは検出方法を評価するのに有用であるが、信頼できないベンダーによって提供される妥協されたライブラリから標準セル実装内に悪意のある振る舞いが隠されている攻撃を捉えない。
本稿では, セル埋め込みハードウェアであるTrojansを, 妥協された標準セル実装を用いて自動生成する新しいフレームワークを提案する。
提案フレームワークは,マップ化された設計を解析し,稀な入力条件で候補セルインスタンスを識別し,トリガ条件を満たす場合にのみ選択したセル出力を劣化させるペイロードテンプレートを適用した。
オープンソースの組み合わせとシーケンシャルなベンチマーク設計の実験から,提案するフレームワークは,異なるセルタイプと設計サイズで有効なTrojanインスタンスを生成することができることがわかった。
その結果, ゼロトラストIC設計フローにおける標準セル実装のセル認識検証の必要性が示唆された。
関連論文リスト
- LIB-TRAP: Standard Cell Library Hardware Trojan Risk Assessment and Prevention [1.3060349684865795]
ファブレス半導体製造モデルに固有の脆弱性は、悪意のあるハードウェアトロイの木馬の挿入のリスクを著しく高めた。
本研究では,標準細胞を信頼できないとみなす新たな脅威モデルについて検討する。
論文 参考訳（メタデータ） (2026-07-01T22:46:48Z) - CORA: Conformal Risk-Controlled Agents for Safeguarded Mobile GUI Automation [68.53387633351484]
有害な行為に対する統計的保証を提供するポスト・ポリティクス・プレアクション保護フレームワークであるCORA(Conformal Risk-control GUI Agent)を提案する。
CORAは、安全を選択的行動実行として再定義する:我々は、提案されたステップごとに行動条件リスクを推定するためにガーディアンモデルを訓練する。
このパラダイムを厳格に評価するために、ステップレベルのハーモラベルを持つモバイル安全違反の新しいベンチマークであるPhone-Harmを紹介する。
論文 参考訳（メタデータ） (2026-04-10T09:41:21Z) - CaMeLs Can Use Computers Too: System-level Security for Computer Use Agents [60.98294016925157]
AIエージェントは、悪意のあるコンテンツがエージェントの行動をハイジャックして認証情報を盗んだり、金銭的損失を引き起こすような、インジェクション攻撃に弱い。
CUAのためのシングルショットプランニングでは、信頼できるプランナーが、潜在的に悪意のあるコンテンツを観察する前に、条件付きブランチで完全な実行グラフを生成する。
このアーキテクチャ分離は命令インジェクションを効果的に防止するが、ブランチステアリング攻撃を防ぐには追加の対策が必要であることを示す。
論文 参考訳（メタデータ） (2026-01-14T23:06:35Z) - Automated Hardware Trojan Insertion in Industrial-Scale Designs [1.1772291323400081]
この研究は、業界規模のネットリストでHTライクなパターンを生成する自動化されたスケーラブルな方法論を提示している。
パイプラインは大きなゲートレベルの設計を接続グラフに解析し、SCOAPテスト容易性メトリクスを使用して稀な領域を探索する。
この研究で生成されたベンチマークで評価すると、最先端のグラフ学習モデルはトロイの木を検出できない。
論文 参考訳（メタデータ） (2025-11-11T19:08:31Z) - Adaptive Attacks on Trusted Monitors Subvert AI Control Protocols [80.68060125494645]
プロトコルとモニタモデルを知っている信頼できないモデルによるアダプティブアタックについて検討する。
我々は、攻撃者がモデル出力に公知またはゼロショットプロンプトインジェクションを埋め込む単純な適応攻撃ベクトルをインスタンス化する。
論文 参考訳（メタデータ） (2025-10-10T15:12:44Z) - D-REX: A Benchmark for Detecting Deceptive Reasoning in Large Language Models [62.83226685925107]
Deceptive Reasoning Exposure Suite (D-REX)は、モデルの内部推論プロセスと最終的な出力との相違を評価するために設計された、新しいデータセットである。
D-REXの各サンプルには、敵システムプロンプト、エンドユーザーのテストクエリ、モデルの一見無害な応答、そして重要なことに、モデルの内部チェーンが含まれている。
我々は、D-REXが既存のモデルと安全メカニズムに重大な課題をもたらすことを実証した。
論文 参考訳（メタデータ） (2025-09-22T15:59:40Z) - CANTXSec: A Deterministic Intrusion Detection and Prevention System for CAN Bus Monitoring ECU Activations [53.036288487863786]
物理ECUアクティベーションに基づく最初の決定論的侵入検知・防止システムであるCANTXSecを提案する。
CANバスの古典的な攻撃を検知・防止し、文献では調査されていない高度な攻撃を検知する。
物理テストベッド上での解法の有効性を実証し,攻撃の両クラスにおいて100%検出精度を達成し,100%のFIAを防止した。
論文 参考訳（メタデータ） (2025-05-14T13:37:07Z) - Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs [13.216074408064117]
サードパーティの知的財産コアは、現代のシステムオンチップと集積回路の設計において必須の構成要素である。
これらの設計コンポーネントは通常、異なる信頼レベルを持つベンダーから来ており、文書化されていない設計機能を含んでいる可能性がある。
ハードウェア設計者になじみのある機能検証ツールや言語を用いて,ハードウェアトロイの木馬の識別と防止を行う手法を開発した。
論文 参考訳（メタデータ） (2023-11-21T03:32:07Z) - Risk-Aware and Explainable Framework for Ensuring Guaranteed Coverage in Evolving Hardware Trojan Detection [2.6396287656676733]
高リスクで敏感なドメインでは、小さな誤分類さえ受け入れることができない。
本稿では,新たに提案した共形生成対向ネットワークを用いて,ハードウェアトロイの木馬を生成する。
提案手法は、合成および実チップレベルのベンチマークの両方で検証されている。
論文 参考訳（メタデータ） (2023-10-14T03:30:21Z) - Security Closure of IC Layouts Against Hardware Trojans [18.509106432984094]
i)レイアウトレベルのトロイの木馬防止,(ii)最先端のオラクルレス機械学習攻撃に対する耐性,(iii)カスタマイズされた汎用的かつ商用レベルの設計フローに完全に統合されたマルチプレクサベースの論理ロック方式を提案する。
我々は,一般的なトロイアの挿入に対して,また2階攻撃(すなわち,オラクルレス環境でのロック防御を回避しようとする敵)に対して,合理的なオーバーヘッドで,レイアウトをレジリエントにレンダリングできることを示します。
論文 参考訳（メタデータ） (2022-11-15T09:17:49Z) - Odyssey: Creation, Analysis and Detection of Trojan Models [91.13959405645959]
トロイの木馬攻撃は、一部のトレーニングサンプルにトリガーを挿入してトレーニングパイプラインを妨害し、トリガーを含むサンプルに対してのみ悪意ある動作をするようにモデルを訓練する。
既存のトロイの木馬検出器はトリガーの種類や攻撃について強い仮定をしている。
そこで本研究では,トロヤニング過程の影響を受け,本質的特性の分析に基づく検出器を提案する。
論文 参考訳（メタデータ） (2020-07-16T06:55:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。