論文の概要: A Rowhammer attack on Fil-C's software capabilities

• arxiv url: http://arxiv.org/abs/2610.33748v1
• Date: Sat, 24 Oct 2026 15:47:12 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-27 22:27:13.435563
• Title: A Rowhammer attack on Fil-C's software capabilities
• Title（参考訳）: Fil-Cのソフトウェア機能に対するRowhammer攻撃
• Abstract要約: 本稿では,Rowhammer-style Faultsを対象とする理想的な命令型言語に対して,確率論的に小さな操作意味論を提案する。 一般的な確率論的フォールトモデルは、確率をビットフリップに割り当てることで、ローハンマースタイルのフォールトを表現するセマンティクスをパラメータ化する。 ケーススタディでは、プログラム変数を物理メモリ内で十分に離れた位置に配置し、ある変数へのアクセスが他の変数を乱すことがない、よく知られた防御法である物理的分離を定式化する。
• 参考スコア（独自算出の注目度）: 0.8602553195689513
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Rowhammer is a hardware vulnerability in dynamic random-access memory (DRAM) in which repeated accesses to one or more aggressor rows can induce bit-flips in nearby victim rows. This phenomenon violates a core assumption of conventional programming language semantics: that reading from or writing to one memory location does not modify others. Despite the security importance of this phenomenon, there is no widely established formal framework connecting Rowhammer faults with program behaviour. This makes it difficult to reason rigorously about the efficacy of proposed Rowhammer defences and the program-level guarantees they provide. To address this gap, we present a probabilistic small-step operational semantics for an idealised imperative language subject to Rowhammer-style faults. The semantics is high-level in that it abstracts from DRAM internals and semiconductor physics. A general probabilistic fault model parameterises the semantics, representing Rowhammer-style faults by assigning probabilities to bit-flips during read or write operations within a specified victim region. The resulting distributions are propagated through programs using the standard monadic structure of probabilistic computation. As a case study, we formalise physical separation, a well-known defence that places program variables sufficiently far apart in physical memory that an access to one variable cannot disturb another. We prove a distribution-independent semantic collapse theorem: for every finite execution, including prefixes of terminating and non-terminating executions, the protected projection of the probabilistic Rowhammer semantics is the Dirac distribution of the corresponding Rowhammer-free execution. Furthermore, we develop an observation-parametric account of secure information flow.
• Abstract（参考訳）: Rowhammerは動的ランダムアクセスメモリ(DRAM)のハードウェア脆弱性であり、1つ以上の攻撃行への繰り返しアクセスが、近くの犠牲者行でビットフリップを誘導する。 この現象は、従来のプログラミング言語のセマンティクスの中核的な仮定に違反している。 この現象のセキュリティの重要性にもかかわらず、ローハンマー断層とプログラムの振る舞いを結びつける公式な枠組みは広く確立されていない。 これにより、提案されたローハンマー防衛とそれらが提供するプログラムレベルの保証の有効性を厳格に判断することは困難である。 このギャップに対処するため,Rowhammer-style Faults を対象とする理想的な命令型言語に対して,確率論的に小さな操作意味論を提案する。 セマンティクスは、DRAM内部と半導体物理学から抽象化される、高レベルである。 一般的な確率論的フォールトモデルは、特定の犠牲者領域内での読み取りや書き込み操作中に、ビットフリップに確率を割り当てることで、ローハンマースタイルのフォールトを表現するセマンティクスをパラメータ化する。 結果の分布は確率計算の標準モナディック構造を用いてプログラムを通して伝播される。 ケーススタディでは、プログラム変数を物理メモリ内で十分に離れた位置に配置し、ある変数へのアクセスが他の変数を乱すことがない、よく知られた防御法である物理的分離を定式化する。 分布非依存のセマンティック崩壊定理を証明し、終端および非終端実行のプレフィックスを含む全ての有限実行に対して、確率的なRowhammer意味論の保護されたプロジェクションは、対応するRowhammer-free実行のディラック分布である。 さらに,セキュアな情報フローの観測パラメトリックな評価法を開発した。

関連論文リスト

• Single-Layer MeMo as a Randomized Hamming-Kernel Classifier [51.908606610432194]
  MeMoは最近の言語モデルアーキテクチャで、トークンコンテキストと次のトークンの関係を相関行列メモリに格納する。 理想的な検索規則は, 位置ハミングカーネルに基づくマルチクラス分類器であることを示す。 制限されたWikiText-2の次のタスクでは、単一層MeMoと古典的なベースラインを比較し、予測精度、メモリ、スループットのトレードオフとして有用なものであることを示す。
  論文  参考訳（メタデータ） (2026-09-28T08:16:06Z)
• Provably Secure Agent Guardrail [89.79561918065122]
  既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。 本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
  論文  参考訳（メタデータ） (2026-05-28T02:12:41Z)
• Furina: Fragmented Uncertainty-Driven Refusal Instability Attack [9.678677899786718]
  大規模言語モデル (LLM) とマルチモーダル・大規模言語モデル (MLLM) の安全性の整合性は、概ね2つのしきい値のメカニズムとして機能すると考えられている。 我々は、安全行動は、小さな摂動が決定論的結果よりも拒絶決定を引き起こす不安定な領域に支配されていることを明らかにすることによって、この仮定に挑戦する。 この不安定性を特徴付けるために,外部信号と内部信号を組み合わせたマルチメトリック診断フレームワークを開発した。 Furinaは、モデル固有の最適化なしに、断片化されたシーンアンコールプロンプトを通じて意図的にこのシグネチャを誘導するジェイルブレイク攻撃である。
  論文  参考訳（メタデータ） (2026-05-24T11:35:12Z)
• Character as a Latent Variable in Large Language Models: A Mechanistic Account of Emergent Misalignment and Conditional Safety Failures [70.48661957773449]
  創発的ミスアライメント(英: Emergent Misalignment)とは、狭い範囲のデータに対する微調整された大きな言語モデルによって、広範囲に不整合な振る舞いが引き起こされる障害モードを指す。 複数のドメインやモデルファミリにまたがって、特定の文字レベルの配置を示すデータの微調整モデルは、誤操作よりもはるかに強く、転送可能な微調整を誘導する。
  論文  参考訳（メタデータ） (2026-01-30T15:28:42Z)
• The Trojan in the Vocabulary: Stealthy Sabotage of LLM Composition [31.827344197678126]
  トケナイザー移植はサプライチェーンの脆弱性を導入する。 係数再利用の幾何学を利用して、我々の攻撃は非対称的な実現可能性ギャップを生み出す。 実験的に、攻撃は訓練なしで、スペクトルの模倣を達成し、異常検出を回避する。
  論文  参考訳（メタデータ） (2025-12-31T19:00:03Z)
• Rubber Mallet: A Study of High Frequency Localized Bit Flips and Their Impact on Security [6.177931523699345]
  現代のDRAMの密度は、特定のメモリ行に繰り返しアクセスすることでビットフリップを誘発するRowhammer攻撃に対する脆弱性を高めている。 本稿では,既存のハードウェアディフェンスをバイパスする高度なRowhammer技術によって生成されたビットフリップパターンの解析を行う。
  論文  参考訳（メタデータ） (2025-05-02T18:07:07Z)
• Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version) [2.0436753359071913]
  レイアウトのランダム化は、メモリ分離を伴うシステムにおいて、同等の安全性を保証できることを示す。 実際には、投機的実行とサイドチャネルは、レイアウトのランダム化に対する脅威として認識される。 サイドチャネルと投機的実行を使用できる攻撃者に対しては,カーネルの安全性を回復できないことを示す。
  論文  参考訳（メタデータ） (2024-11-27T07:06:28Z)
• (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
  微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。 その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。 本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
  論文  参考訳（メタデータ） (2024-10-22T00:41:47Z)
• Defending Large Language Models against Jailbreak Attacks via Semantic Smoothing [107.97160023681184]
  適応型大規模言語モデル(LLM)は、ジェイルブレイク攻撃に対して脆弱である。 提案するSEMANTICSMOOTHは,与えられた入力プロンプトのセマンティック変換されたコピーの予測を集約するスムージングベースのディフェンスである。
  論文  参考訳（メタデータ） (2024-02-25T20:36:03Z)
• Random Alloy Codes and the Fundamental Limits of Coded Distributed Tensors [1.8130068086063333]
  ストラグラーや他の障害は、全体の完了時間に深刻な影響を与える可能性がある。 符号化コンピューティングにおける最近の研究は、コード化されたタスクでストラグラーを緩和するための新しい戦略を提供する。 この厳密な定義は、失敗の確率を直接最適化しないことを示す。
  論文  参考訳（メタデータ） (2022-02-07T19:20:00Z)

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

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