論文の概要: Evaluating the Indistinguishability of Logic Locking using K-Cut Enumeration and Boolean Matching

• arxiv url: http://arxiv.org/abs/2602.21386v1
• Date: Tue, 24 Feb 2026 21:28:37 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-26 18:19:16.614698
• Title: Evaluating the Indistinguishability of Logic Locking using K-Cut Enumeration and Boolean Matching
• Title（参考訳）: K-Cut列挙とブールマッチングを用いた論理ロックの不明瞭性の評価
• Authors: Jonathan Cruz, Jason Hamlet,
• Abstract要約: 厳密さの欠如もあって、論理ロックの防御は歴史的に短命だった。 そこで本研究では,$k$-cutsの分布の比較に基づく新しい評価手法を提案する。 再合成の有無に関わらず,どの設計がロックされているかを正確に識別する平均精度は92%に達する。
• 参考スコア（独自算出の注目度）: 0.823605099365301
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Logic locking as a solution for semiconductor intellectual property (IP) confidentiality has received considerable attention in academia, but has yet to produce a viable solution to protect against known threats. In part due to a lack of rigor, logic locking defenses have been historically short-lived, which is an unacceptable risk for hardware-based security solutions for critical systems that may be fielded for decades. Researchers have worked to map the concept of cryptographic indistinguishability to logic locking, as indistinguishability provides strong security guarantees. In an effort to bridge theory and practice, we highlight recent efforts that can be used to analyze the indistinguishability of logic locking techniques, and propose a new method of evaluation based on comparing distributions of $k$-cuts, which is akin to comparing against a library of sub-functions. We evaluate our approach on several different classes of logic locking and show up to 92% average accuracy in correctly identifying which design was locked, even in the presence of resynthesis, suggesting that the evaluated locks do not provide indistinguishability.
• Abstract（参考訳）: 半導体知的財産権(IP)の機密性に対する解決策としての論理ロックは、学術的にはかなり注目されているが、既知の脅威から保護するための実行可能なソリューションは、まだ得られていない。 厳密さの欠如もあって、論理ロックの防御は歴史的に短命であり、何十年にもわたる重要なシステムに対して、ハードウェアベースのセキュリティソリューションが受け入れられないリスクである。 研究者は暗号の区別不能の概念を論理ロックにマッピングすることに取り組んできた。 理論と実践を橋渡しする試みとして,論理ロッキング手法の不明瞭性を解析するための最近の取り組みを取り上げ,サブファンクションライブラリとの比較に類似した$k$-cutsの分布の比較に基づく評価手法を提案する。 我々は,論理ロックの異なるクラスに対するアプローチを評価し,どの設計がロックされているかを正確に識別する平均精度を最大92%と評価した。

関連論文リスト

• Constraint-Rectified Training for Efficient Chain-of-Thought [60.52883907721588]
  CoT (Chain-of-Thought) は,Large Language Models (LLMs) の推論能力を大幅に向上させた。 より長い推論トレースは、自己訂正のような回答の品質とアンロック能力を改善することができるが、高い推論コストを発生させ、過度に考えることとして知られる冗長なステップをしばしば導入する。 近年の研究は、推論の長さと精度のバランスをとる効率的な推論戦略の開発を目指している。
  論文  参考訳（メタデータ） (2026-02-13T02:13:45Z)
• Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation [52.626086874715284]
  我々は、安全でない出力の階層構造を検証する抽象的DNN検証と呼ばれる新しい問題定式化を導入する。 出力到達可能な集合に関する抽象的解釈と推論を活用することにより,形式的検証プロセスにおいて,複数の安全性レベルを評価することができる。 我々の貢献には、新しい抽象的安全性の定式化と既存のアプローチとの関係を理論的に探求することが含まれる。
  論文  参考訳（メタデータ） (2025-05-08T13:29:46Z)
• The Impact of Logic Locking on Confidentiality: An Automated Evaluation [10.116593996661756]
  悪意のある1つの論理ロックキーが、暗号化キーの70%以上を公開可能であることを示す。 この研究は、論理ロックにおける重大なセキュリティ脆弱性を明らかにする。
  論文  参考訳（メタデータ） (2025-02-03T11:01:11Z)
• Cute-Lock: Behavioral and Structural Multi-Key Logic Locking Using Time Base Keys [1.104960878651584]
  我々は、Cute-Lockと呼ばれるセキュアなマルチキー論理ロックアルゴリズムのファミリーを提案し、実装し、評価する。 種々の攻撃条件下での実験結果から,Cute-Lockファミリーを応用した脆弱な最先端手法と比較して,余分なオーバーヘッドを伴わずに致命的な攻撃を試みていることが確認された。
  論文  参考訳（メタデータ） (2025-01-29T03:44:55Z)
• SubLock: Sub-Circuit Replacement based Input Dependent Key-based Logic Locking for Robust IP Protection [1.804933160047171]
  既存のロジックロック技術はSATベースの攻撃に対して脆弱である。 いくつかのSAT耐性論理ロック法が報告されている。 本稿では,新しい入力依存鍵ベースの論理ロック(IDKLL)を提案する。
  論文  参考訳（メタデータ） (2024-06-27T11:17:06Z)
• Log Barriers for Safe Black-box Optimization with Application to Safe Reinforcement Learning [72.97229770329214]
  本稿では,学習時の安全性維持が不可欠である高次元非線形最適化問題に対する一般的なアプローチを提案する。 LBSGDと呼ばれるアプローチは、慎重に選択されたステップサイズで対数障壁近似を適用することに基づいている。 安全強化学習における政策課題の違反を最小限に抑えるためのアプローチの有効性を実証する。
  論文  参考訳（メタデータ） (2022-07-21T11:14:47Z)
• Logical blocks for fault-tolerant topological quantum computation [55.41644538483948]
  本稿では,プラットフォームに依存しない論理ゲート定義の必要性から,普遍的なフォールトトレラント論理の枠組みを提案する。 資源オーバーヘッドを改善するユニバーサル論理の新しいスキームについて検討する。 境界のない計算に好適な論理誤差率を動機として,新しい計算手法を提案する。
  論文  参考訳（メタデータ） (2021-12-22T19:00:03Z)
• Logical Credal Networks [87.25387518070411]
  本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。 本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
  論文  参考訳（メタデータ） (2021-09-25T00:00:47Z)
• Challenging the Security of Logic Locking Schemes in the Era of Deep Learning: A Neuroevolutionary Approach [0.2982610402087727]
  ディープラーニングはロジックロックの領域で導入されている。 私たちはSnapShotを紹介します。これは、ニューラルネットワークを利用した最初のタイプのロジックロックに対する新しい攻撃です。 本研究では,SnapShotが選択した攻撃シナリオに対して平均キー予測精度82.60%を達成することを示す。
  論文  参考訳（メタデータ） (2020-11-20T13:03:19Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。