論文の概要: Foundations of Hardware-Software Leakage Contracts

• arxiv url: http://arxiv.org/abs/2610.20754v1
• Date: Wed, 14 Oct 2026 18:09:09 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-16 19:13:16.005536
• Title: Foundations of Hardware-Software Leakage Contracts
• Title（参考訳）: ハードウェアソフトリーク契約の基礎
• Abstract要約: SpectreやMeltdownのようなマイクロアーキテクチャ攻撃は、ソフトウェアで見える副作用を利用してセキュリティを損なう。 ハードウェアソフトウェアリーク契約という,新たなセキュリティ抽象化が登場している。
• 参考スコア（独自算出の注目度）: 1.6481440561437306
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Microarchitectural attacks such as Spectre and Meltdown undermine security by exploiting software-visible side effects of microarchitectural optimizations like caches and speculative execution. To use modern hardware securely, programmers must take into account the security implications of these optimizations. Yet instruction set architectures (ISAs)---the conventional abstraction layer between hardware and software---are ill-suited for secure programming: by design, they abstract from microarchitectural details and therefore fail to reflect their security consequences. A new security abstraction is emerging to fill this void: hardware-software leakage contracts. To support the principled development of secure software on modern hardware such contracts characterize side-channel leakage at the ISA level. Thereby they enable programmers and compilers to generate code that is provably resistant to side-channel attacks---without having to explicitly reason about the microarchitecture. On the other hand, they provide a specification for hardware designers to ensure that microarchitectures do not introduce unintended and undocumented side channels. This paper introduces the foundations of this emerging topic, discussing recent contributions and unresolved challenges along the way.
• Abstract（参考訳）: SpectreやMeltdownといったマイクロアーキテクチャ攻撃は、キャッシュや投機的実行といったマイクロアーキテクチャ最適化のソフトウェア可視的副作用を活用することで、セキュリティを損なう。 最新のハードウェアを安全に使用するには、プログラマはこれらの最適化のセキュリティ上の影響を考慮する必要がある。 しかし、命令セットアーキテクチャ(ISA)--ハードウェアとソフトウェアの間の従来の抽象化レイヤは、セキュアなプログラミングには適していない。 新しいセキュリティ抽象化が、この空白を埋めようとしている。 最新のハードウェア上でセキュアなソフトウェアを原則的に開発することを支援するため、この契約はISAレベルでのサイドチャネルリークを特徴付ける。 これにより、プログラマやコンパイラは、マイクロアーキテクチャを明示的に推論することなく、サイドチャネル攻撃に対して確実に耐性のあるコードを生成することができる。 一方、マイクロアーキテクチャが意図しないサイドチャネルや文書化されていないサイドチャネルを導入しないことを保証するため、ハードウェア設計者に仕様を提供する。 本稿では,近年のコントリビューションと未解決課題について論じる。

関連論文リスト

• HarmChip: Evaluating Hardware Security Centric LLM Safety via Jailbreak Benchmarking [16.989871108981465]
  大規模言語モデル(LLM)を電子設計自動化(EDA)に統合することで、RTL生成、検証、設計最適化のための強力な機能を導入している。 この領域における悪意あるLCM出力は、ハードウェアトロイの木馬挿入、サイドチャネルリーク、知的財産盗難などのハードウェアレベルの脅威を引き起こす。 我々は、ハードウェアセキュリティにおけるジェイルブレイクの感受性を評価するために、HarmChipベンチマークを提示した。
  論文  参考訳（メタデータ） (2026-04-18T18:09:37Z)
• Uncovering Security Threats and Architecting Defenses in Autonomous Agents: A Case Study of OpenClaw [42.9467373594646]
  本報告では,OpenClawエコシステムの総合的なセキュリティ分析について述べる。 我々は、インジェクション駆動のRemote Code Execution(RCE)、シーケンシャルツールアタックチェーン、コンテキスト記憶、サプライチェーン汚染などの重要な脆弱性を強調した。 これらのシステム的アーキテクチャ欠陥に対処するために、フルライフサイクルエージェントセキュリティアーキテクチャ(FASA)を導入します。 この理論的な防御青写真は、ゼロトラストエージェント実行、動的意図検証、および層間推論-作用相関を提唱している。
  論文  参考訳（メタデータ） (2026-03-13T04:33:05Z)
• Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version) [3.6676516275835165]
  本稿では、悪意のあるデバイスに対して保護された信頼できないオペレーティングシステムを構築するのに適したトークン機能アプローチを提案する。 本稿では,実行時ソフトウェアTCBを持たないZephyrをベースとしたソフトリアルタイムオペレーティングシステムを提案する。 私たちの仕事は、明日のセキュリティクリティカルな組み込みデバイスにおいて、より厳格なセキュリティバイデザインのための基盤を提供します。
  論文  参考訳（メタデータ） (2026-03-09T13:59:27Z)
• HardSecBench: Benchmarking the Security Awareness of LLMs for Hardware Code Generation [24.138048137437078]
  大規模言語モデル(LLM)は、コード生成のための実用的なハードウェアとファームウェア開発パイプラインに統合されつつある。 この研究ギャップは、現実的な仕様の下でセキュリティ意識を評価するためのベンチマークを設計する動機となります。 我々は、Verilog Registers Transfer Level (RTL)とファームウェアレベルCにまたがる924のタスクからなるベンチマークであるHardSecBenchを紹介し、76のハードウェア関連Common Weaknession (CWE)エントリをカバーしている。
  論文  参考訳（メタデータ） (2026-01-20T11:27:40Z)
• Beyond Model Jailbreak: Systematic Dissection of the "Ten DeadlySins" in Embodied Intelligence [36.972586142931256]
  Embodied AIシステムは、言語モデルと現実世界のセンシング、モビリティ、クラウドに接続されたモバイルアプリを統合する。 われわれはUnitree Go2プラットフォームの最初の総合的なセキュリティ分析を行う。 クロスレイヤの脆弱性10つ、"Embodied AI Securityの10点"を発見
  論文  参考訳（メタデータ） (2025-12-06T10:38:00Z)
• The Devil behind the mask: An emergent safety vulnerability of Diffusion LLMs [39.85609149662187]
  DLLMのユニークな安全性の弱点を生かした、最初の系統的な研究および脱獄攻撃フレームワークであるDIJAを提案する。 提案するDIJAは,dLLMのテキスト生成機構を利用した対向的インターリーブ・マスクテキストプロンプトを構築する。 本研究は, 新たな言語モデルにおいて, 安全アライメントの再考の必要性を浮き彫りにするものである。
  論文  参考訳（メタデータ） (2025-07-15T08:44:46Z)
• SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs [4.746242621988057]
  本稿では,既存のハードウェアファジィフレームワークの限界を克服するために設計された,新しいハードウェアファジィファジィであるSynFuzzを紹介する。 SynFuzzは、RTLからゲートレベルへの移行中に発生する合成バグと脆弱性を特定するために、ゲートレベルのネットリストでファジングハードウェアに焦点を当てている。 我々は、SynFuzzが業界標準の形式検証ツールCadence Conformalの限界を克服する方法を実証する。
  論文  参考訳（メタデータ） (2025-04-26T05:51:29Z)
• Exploiting Prefix-Tree in Structured Output Interfaces for Enhancing Jailbreak Attacking [34.479355499938116]
  大規模言語モデル(LLM)は、重要なアプリケーションをもたらすだけでなく、深刻なセキュリティ脅威も導入している。 我々はAttackPrefixTree (APT)と呼ばれるブラックボックス攻撃フレームワークを導入する。 APTは構造化された出力インタフェースを利用して攻撃パターンを動的に構築する。 ベンチマークデータセットの実験は、このアプローチが既存の手法よりも高い攻撃成功率を達成することを示している。
  論文  参考訳（メタデータ） (2025-02-19T08:29:36Z)
• Testing side-channel security of cryptographic implementations against future microarchitectures [38.73923812516342]
  最近の研究は、新しいマイクロアーキテクチャー最適化がPandoraのマイクロアーキテクチャー攻撃の箱を開くかもしれないことを示唆している。 我々はLmSpecと呼ばれる表現力のあるドメイン固有言語を開発し、チップベンダーは与えられた最適化のためのリークモデルを指定することができる。 5つの人気ライブラリの8つのプリミティブの25実装に対する18のマイクロアーキテクチャ最適化に関する実証的研究を行った。
  論文  参考訳（メタデータ） (2024-02-01T14:56:54Z)
• Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors [6.061386291375516]
  本稿では,オープンソースマイクロアーキテクチャのためのハードウェア・ソフトウェアリーク契約を合成する半自動手法を提案する。 我々はRISC-V ISAのためにこの手法をインスタンス化し、IbexおよびCVA6オープンソースプロセッサに適用した。
  論文  参考訳（メタデータ） (2024-01-17T17:54:53Z)
• Citadel: Simple Spectre-Safe Isolation For Real-World Programs That Share Memory [8.414722884952525]
  緩和マイクロアーキテクチャ分離(RMI)と呼ばれる新しいセキュリティ機能を導入する。 RMIは、攻撃者とメモリを共有できない機密プログラムを許可し、情報漏洩を非投機的実行に制限する。 エンドツーエンドのプロトタイプであるCitadelは、Linuxをブートしてセキュアなアプリケーションを実行するFPGAベースのマルチコアプロセッサで構成されています。
  論文  参考訳（メタデータ） (2023-06-26T17:51:23Z)

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

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