Fugu-MT 論文翻訳(概要): A Rowhammer attack on Fil-C's software capabilities

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

arxiv url: http://arxiv.org/abs/2610.33748v2
Date: Thu, 29 Oct 2026 18:10:43 GMT
ステータス: 翻訳完了
システム内更新日: 2026-11-02 22:05:31.352327
Title: A Rowhammer attack on Fil-C's software capabilities
Title（参考訳）: Fil-Cのソフトウェア機能に対するRowhammer攻撃
Abstract要約: Fil-Cは、ポインタの参照毎にチェックされるバウンダリを使用して、メモリ安全性をC/C++に適合させる。我々はRowhammerがポインタの上界の単語を乱すことでそれを壊すことを示す。
参考スコア（独自算出の注目度）: 0.8602553195689513
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: Fil-C retrofits spatial and temporal memory safety onto C/C++ using software capabilities (bounds that are checked at every pointer dereference). Fil-C's guarantee rests on an unstated hardware assumption: that DRAM preserves the capabilities. We show that Rowhammer breaks it. In Fil-C 0.679 a part of each heap pointer's capability lives in a 16-byte header stored inline in ordinary DRAM immediately before the object pointed to, with no mechanism to prevent capabilities from corruption. A single 0 → 1 bit flip in the capability's upper-bound expands the pointer's permitted range by 2k bytes and is invisible to the runtime, raising no panic or signal. We demonstrate this by using Fil-C to convert existing Rowhammer attacks into concrete attacks against a heterogeneous collection of victim software. To aid reproducibility (not everybody has DRAM vulnerable to Rowhammer) we split our demonstration into two paths. First, along a deterministic path, we isolate Fil-C as a novel attack vector using a deterministic, Rowhammer-like fault-injection model. Across four case studies, this model corrupts the upper-bound word of a pointer, permitting previously out-of-bounds reads and writes. We use this to achieve a bounded read/write window, secret disclosure, privilege escalation by flipping an adjacent <code>is_admin</code> field, and the leakage of a tenant API key in a multi-tenant credential service backed by SQLite (compiled under Fil-C). Second, along a physical end-to-end path, we demonstrate all four attacks on real hardware equipped with DDR3 memory, and with Target Row Refresh (TRR) equipped DDR4, proving the exploits are physically realisable. The latter attack shows that the TRR defence does not close the Fil-C delivery channel. We close with a discussion of Fil-C-specific mitigations.
Abstract（参考訳）: Fil-Cは、ソフトウェア機能(ポインタの参照毎にチェックされるバウンダリ)を使用して、空間的および時間的メモリ安全性をC/C++に適合させる。 Fil-Cの保証は、DRAMが機能を保存するという、未定のハードウェアの前提に基づいている。我々はローハンマーがそれを壊すことを示す。 Fil-C 0.679では、各ヒープポインタの機能の一部は、オブジェクトが指す直前に通常のDRAMにインラインに保存された16バイトのヘッダに存在し、機能の破損を防ぐメカニズムはない。 1ビットの0→ 1ビットのオンバウンドは2kバイトでポインタの許容範囲を拡大し、実行時に見えず、パニックや信号が起こらない。我々は、Fil-C を用いて既存の Rowhammer 攻撃を、被害者ソフトウェアの異種コレクションに対する具体的な攻撃に利用し、これを実証する。再現性を支援するため(全員がRowhammerに脆弱なDRAMを持っているわけではない)、デモを2つのパスに分けました。まず,Deterministic pathに沿って,Fil-Cを決定論的,ローハンマー様断層注入モデルを用いて,新たな攻撃ベクトルとして分離する。 4つのケーススタディで、このモデルはポインタの上位行語を破損させ、以前のアウト・オブ・バウンド読み込みと書き込みを可能にした。これは,SQLite(Fil-Cでコンパイルされた)をベースとしたマルチテナント認証サービスにおいて,隣接する<code>is_admin</code>フィールドを反転させることで,バウンダリ読み取り/書き込みウィンドウ,シークレット開示,特権エスカレーションを実現するために使用される。第2に,Physical end-to-end pathに沿って,DDR3メモリを搭載した実際のハードウェアに対する4つの攻撃を実演し,TRR(Target Row Refresh)搭載のDDR4を用いて,エクスプロイトが物理的に実現可能であることを示す。後者の攻撃は、TRR防御がFil-C配信チャネルを閉鎖しないことを示している。我々は、Fil-C固有の緩和について論じる。

関連論文リスト

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)

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

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