arXiv のセキュリティ・暗号分野（cs.CR）と IACR 暗号学プレプリント。
説明事実は正しいが一方的：検索拡張生成における立場の汚染と証拠のバランス調整
要約本論文は、検索拡張生成（RAG）システムに対する注入攻撃を扱う。事実は正しいが、論争的な問題に関する立場が一方的な文書が注入される場合を対象とする。投稿後のProConデータで平均18.9%の汚染割合のとき、異なるベンダーの4つの生成モデルすべてが汚染の方向に沿った立場の変化を示した。提案手法は検索器と生成器の間に置く立場バランス・ミドルウェアで、立場検出、固定バランス（賛成2・反対2・中立1）、バイアス除去プロンプトから成り、追加の大規模言語モデル呼び出しを必要としない。
説明LLMによるWebアプリのアクセス制御不備の修復：実証ベンチマーク研究
要約本研究は、アクセス制御不備（BAC）脆弱性の修復に特化した初のベンチマーク「BAC-Bench」を構築しました。6つのWebアプリ、4つのプログラミング言語にまたがる実在の46件の脆弱性を含みます。8つの基盤LLMと2つの商用LLMエージェントを評価した結果、単一ターンの基盤LLMは平均37.68%、2種類の最小限のスカフォールド導入後は平均66.03%の脆弱性を修復しました。
説明NameTrap：変数名によってAIコーディングエージェントを脆弱性のあるコードへ誘導する攻撃
要約論文は、第三者提供のPythonファイルの識別子を名前変更するだけで、AIコーディングエージェントに攻撃者指定のCWE脆弱性（CWE-78、CWE-79、CWE-327、CWE-502）を生成させるNameTrap攻撃を提案している。6種のエージェントと10種の基盤モデルで評価され、攻撃成功率は全体で22.5%から56.0%、特定の組み合わせでは75.0%に達した。また、AIベースの安全性分析ツール3種と静的解析ツール4種は、汚染されたファイル内の対象の弱点を報告しなかったとしている。
注目点識別子の改名だけでコーディングエージェントに脆弱性を書かせる新たな攻撃面を示し、六つのエージェント・十モデルで体系的に評価、ベースラインと比較した。
説明HNSecW：近似最近傍探索のための対数時間MPCプロトコル
要約本論文は、近似最近傍（ANN）探索のための多者間安全計算（MPC）プロトコルHNSecWを提案し、初めて検索時間O(log N)を実現したとしています。最先端のANNアルゴリズムHNSW（Hierarchical Navigable Small World）をもとに制御フローとデータ構造を再設計し、実行をデータに依存しない形にしています。さらに、オフラインでの再シャッフルと一部データベースの複製を用い、対数時間を達成しています。また、複数クエリやバッチクエリにも対応しています。実験では平文HNSWと同等の高い精度を保ちつつ、百万件規模のデータセットで先行研究より20倍以上効率が向上したと報告されています。
注目点MPCによる近似最近傍探索を初めて対数時間に下げ、HNSWの制御フロー再設計とオフライン再シャッフルで実現。百万規模で20倍超の効率向上を示し、根拠は比較的充実している。
説明AES キーラップの再検討：偽造上限、構造的観察、NIST SP 800-38F 改訂への提言
要約本論文は、NIST が改訂中の SP 800-38F（AES キーラップモード KW および KWP）に対する技術コメントを拡充したものです。標準に示された偽造確率は適応的攻撃を考慮していないことを指摘し、KW、KWP、TKW のそれぞれについて偽造確率を示すとともに、平文長の検査によって KWP の安全性水準を大きく高められることを示しています。また、長いメッセージの場合の衝突条件を修正し、成功した偽造が平文の接頭辞を漏えいさせること、KW は誕生日境界を超える安全性を持たないことを論じています。
注目点SP 800-38Fの偽造確率が適応的攻撃を考慮していないことを示し、KWの衝突条件を修正して実用的な影響を示している。
説明HSS/LMS および XMSS における SHA-2 メッセージダイジェストへの Kelsey–Kohno 攻撃の亜種
要約本論文は、ステートフルなハッシュベース署名方式 HSS/LMS と XMSS（それぞれ SHA-256 および切り詰めた SHA-256/192 を使用）のメッセージハッシュに対する多標的第二原像攻撃を提示します。攻撃は Kelsey と Kohno の herding 技術に基づき、多数の署名の連鎖状態を状態衝突によって単一の状態にまとめ、一度の探索で全署名を対象とします。著者らの見積もりでは、2^64 件の署名に対する SHA-256 の計算コストは名目上の 2^256 から約 2^166（4 GiB までのメッセージ）に低下し、SHA-256/192 では約 2^153 です。SHAKE256 のパラメータセットは影響を受けないとされています。
注目点Kelsey-Kohnoのherdingを多目標第二原像攻撃に応用し、SHA-256ベースのHSS/LMS・XMSSで具体的な計算量低下を示す新規性のある分析である。
説明前処理付きの最近接ベクトル問題・最近接符号語問題に対するほぼ最適な困難性
要約本論文は、前処理モデルにおける最近接ベクトル問題（CVP）と最近接符号語問題（NCP）の近似困難性を研究している。アルゴリズムは格または符号を事前に受け取り、多項式サイズの助言を生成した後、任意の対象を多項式時間で解く必要がある。NP が P/poly に含まれないという仮定の下で、両問題の近似因子に対する多項式オーダーの下界が示されている。また、矩法を前処理設定へ拡張する技術と、PCP からの直接的な帰着（因子 M^{Ω(1/(log log M)^2)}）が提示されている。
注目点前処理モデルにおけるCVP/NCPの困難性因子を亜多項式から多項式へ改善し、モーメント法を拡張した。理論的改善は大きいが、影響は主に計算理論と暗号理論に限られる。
説明プログラミング言語エコシステムのポリシー：定性分析
要約CRANのようなプログラミング言語エコシステム（PLE）はソフトウェアの再利用を大きく加速させた一方、サプライチェーンのリスクやインシデントも増やしました。本論文は人気のあるPLEのポリシーを分析しています。3人の著者が38のポリシーカテゴリと8つのPLEポリシーについて中程度の合意に達しました。全体としてポリシーは収束よりも相違が目立ち、マルウェア、知的財産、コンテンツ削除などは広く認められている一方、パッケージサイズ制限、指標の操作、タイポスクワッティング、バイナリのアップロードなど、より細かい分野で違いが見られます。
説明エージェント自身の開発履歴を使って、エージェントが生成したコードの安全性を確保する研究
要約コーディングエージェントが書いたコードは、テストに合格しても安全性の検査が抜けている場合があります。本論文は、エージェントの編集履歴と記録された前提を手がかりに、シンボル単位で変更を追跡し、採用した修正ごとに実行可能な検査を付けるTRACERというワークフローを提案しています。SusVibesベンチマークでは、シンボル単位の追跡により、脆弱なシンボルがレビュー対象に入る割合が94.6%となり、主要スキャナの警告の13.4%を大きく上回りました。
説明基本に立ち返る：形式的分析ヒントによる弱から強への監視の改善
要約本論文は、先進的なエージェント型システムが深刻な被害を招きうる不整合な行動をとる問題を扱います。既存の監視手法には完全な検出失敗、部分的検出、虚偽の無害な説明の受け入れ、疑わしさスコアの較正誤りという四つの失敗モードがあると指摘しています。作者らは、コマンドの出所、セキュリティ上重要な操作の印、タスクで禁止された効果の印といった補足的ヒントを記録に加えることで、これらを改善できると述べています。
説明外部LLMに送る文書の可逆的仮名化：公開された二言語ベンチマークとエンジン
要約専門家が作業文書を外部の大規模言語モデルに送る場面を対象に、リクエスト前に個人データをプレースホルダーに置き換え、回答をローカルで復元する可逆的仮名化を扱っています。著者は、既存の5つのツールと正規表現ベースラインをロシア語と英国英語で評価したベンチマークを公開し、最も性能の高い2つのツールをもとに公開エンジンを作成しました。評価データはすべて合成データで、実文書では検証されていません。既存ツールで両言語とも大半の文書に値が残り、エンジンは同じ生成器の文書で漏えいを大幅に減らしましたが、ロシア語の姓のプレースホルダー復元率は94.6%にとどまり、目標の99%を下回りました。
説明解説：非退化誤差分布のCRT-FHEに残差限定誤差攻撃が適用できないことの分析
要約本論文は、CRT-FHE方式に対する暗号解析への反論です。報告された鍵回復および平文回復攻撃は、CRT符号化関数の核に台を持つよう意図的に構成された誤差分布に完全に依存しており、実効的な暗号化誤差が恒等的にゼロになるため、攻撃対象はノイズのないRLWEインスタンスに帰着すると著者は指摘します。想定された中心二項分布の下では、誤差多項式全体が符号化器の核に属する確率は報告されたパラメータで無視できるほど小さいため、これらの回復手順は具体的な実装への攻撃にはならないと結論づけています。
説明CVE から ATT&CK への対応付け：証拠に基づく制約付きランキング
要約この論文は、脆弱性（CVE）を MITRE ATT&CK の攻撃手法に自動的に対応付ける方法を扱っています。防御担当者が脆弱性情報から攻撃者の振る舞いを推測しやすくすることが目的です。著者らは、複数の情報源から構造的・意味的な証拠を統合して候補集合を作り、その後に CVE と手法のテキスト的な関係や出現頻度を考慮して並べ替える TRACE という枠組みを提案しています。六つの公開データセットでの評価では、候補構築により 201 手法の探索空間が約 60% 縮小され、CVE の 95.11%〜100% で正解の手法が少なくとも一つ残りました。
説明適応的しきい値 Schnorr 攻撃における選択コミットメントと認証復号領域
要約本論文は、Crites と Stewart が提示した、しきい値 Schnorr 署名に対する適応的偽造攻撃を分析する。著者らは、攻撃者が事前に固定した係数ベクトルでコミットメントを構成し、既知の復号定理によって定まる領域内でのみ証人を回収する場合、偽造の成功確率が群位数 p に対して QM/p 以下に抑えられることを示す。複数のパラメータ組でこの上界は十分小さい。また、関連する復号定理の分類も行う。オラクルの困難性としきい値 Schnorr 方式の適応的安全性は未解決のままである。
説明IVCにおける非可塑性の諸問題：定義、攻撃、反証可能な仮定に基づく構成
要約本論文は、これまであまり研究されてこなかった非可塑性の増分検証可能計算（IVC）を扱います。反証可能な仮定からシミュレーション健全性（simulation-sound）を持つIVCを得られるかを検討し、既存設計は修正なしにはその性質を「自動的に」満たさないことを示します。主な結果は、Valiant型証明が可塑的であること、反証可能な仮定に基づくNP向けIVC方式がいかなる形のシミュレーション健全性も満たせないこと、そして次指数的iOと次指数的LWEまたは双線形写像の仮定の下で一定の非可塑性を持つIVCを構成したことです。
注目点模擬健全性IVCの新定義と反証可能な仮定からの初の構成を示し、Valiant型設計の可塑性も証明しており理論的貢献は大きいが、影響は暗号学の一分野に限られる。
説明順位付けは判定ではない：クエリ時RAG汚染防御におけるベンチマークの近道と動作点の崩壊
要約本論文は検索拡張生成（RAG）の汚染防御を検討します。既存の防御が基準データセットで高い検出精度を示すのは、汚染文書の作り方に依存している可能性があると指摘します。例えば各挿入文に目標の質問を前置する構成の影響です。この手掛かりを除くと、ある防御のAUROCと見逃し率が大きく悪化します。論文は、検出結果には汚染集合の構成特性と実際に運用する閾値での誤検知率を併せて報告すべきだと主張しています。
注目点既存のクエリ時フィルタの高い検出率は毒データの構築手掛かり（質問の重複、長さ）によるものだと示し、接頭辞削除と詰め物実験で複数コーパスにわたり検証している。
説明EdgeDeID：実患者データなしで学習した0.6Bの臨床用非識別化モデル
要約本論文は、ローカルで動作し実際の患者テキストを使わずに学習した0.6Bパラメータのデコーダ専用非識別化モデルEdgeDeIDを提案している。3つのLLMで合成臨床ノートを作成し統一された規約で再アノテーションしたうえで学習を行った。手動検証済みの100件の合成ノートのドメイン内ベンチマークで、マイクロF1は0.994に達し、最良の既製システム（0.857）を上回った。量子化後はCPU上で615 MBで動作する。一方、MIMIC ICU看護記録ではF1が0.48に低下した。
説明FHEW/TFHE における厳密な誤差ブートストラップとコーム・ブートストラップ
要約本論文は、FHEW と TFHE において解読関数ではなく誤差をブートストラップする方式を提案している。ブラインド回転によって誤差を厳密に復元するため、メッセージ空間は雑音によってのみ制限され、標準的な TFHE より大きくできる。さらに一回のブラインド回転で複数の暗号文を同時に更新するコーム・ブートストラップも示されている。TFHE-rs をもとにした実装では、8ビット整数の更新と乗算が高速化されたと報告されている。ただし、その他の関数の評価には依然として可変ブートストラップが必要である。
説明VeilDNS：最初の UDP パケットから実現する耐量子 DNS プライバシー保護
要約本論文は、DNS の既存仕様を保ったまま、耐量子鍵カプセル化機構（KEM）と認証付き暗号（AEAD）を用いて、1 回の UDP 通信で DNS の問い合わせと応答を暗号化し、リゾルバを認証する VeilDNS を提案している。標準の UDP 53 番ポートで動作し、ステートレスとステートフルの両モードを備える。ML-DSA 認証の DoT/DoH/DoQ と比べ、冷えたセッションのスループット、遅延、CPU 時間、バイト数、パケット数で改善が見られたと報告している。また Tamarin により問い合わせの機密性、応答の認証、前方秘匿性を検証したとしている。
注目点単一のUDPパケットで後量子暗号によりDNSを暗号化・認証する新方式を提案し、Tamarinで安全性を検証、ML-DSA方式と比較して大幅な性能向上を示している。
説明表現を考慮した論理アンサンブルによるLLMベースの脆弱性検出の強化
要約この論文は、C言語ソースコードの脆弱性検出において、ソースコード、抽象構文木（AST）、制御フローグラフ（CFG）など複数のコード表現を大規模言語モデルで利用する方法を検討しています。異なる表現には脆弱性の種類ごとに得意な面があると示し、それらを明示的な論理規則と多数決で統合する表現考慮型論理アンサンブル（RALE）を提案しています。単一表現モデルのF1スコアは最大73%、提案手法は78%に達したと報告されています。
説明デフォルトでリング0で動くエージェント：OSとしてのエージェント（AaOS）
要約論文は、LLMエージェントがファイルの読み書き、プロセスやサブエージェントの起動、第三者拡張の読み込みなどOSの役割を担う一方、数十年かけてOSが築いた保護機構を欠き、モデルの出力がホストユーザーの全権限で動くと指摘します。著者は標準的なOS教科書の機構を基準に116の機構を対応づけ、同型は11、欠落は65と報告しています。さらに、Claude Code、Codex CLI、Gemini CLIでの13の実験により、その対応付けを検証しています。
注目点OS教科書の機構を LLM エージェントへ 116 項目対応させ、三つの CLI 上の 13 実験で多くの保護欠如を確認。
説明Fil-Cのソフトウェア機能に対するRowhammer攻撃を扱う論文
要約本論文は、Rowhammerというハードウェア脆弱性がプログラムの動作に与える影響を検討します。隣接するDRAM行への繰り返しアクセスが、標的行のビット反転を引き起こす可能性があります。著者らは、Rowhammer型故障を持つ抽象的な命令型言語のための確率的小ステップ操作的意味論を提案し、物理的分離防御を事例に、保護された射影において無故障実行と一致することを証明しています。
説明オフラインのエッジ生成AIにおける信頼機構：接続状態フレームワークとRaspberry Pi 5での実証研究
要約IoT機器がネットワーク制限や通信不可の状況で大規模言語モデルを動かす課題を扱い、接続状態ごとのC0〜C4フレームワーク、推論時の信頼機構の分類、そして切断環境向けの署名付き・バージョン管理された知識パックを提案しています。Raspberry Pi 5上でネットワークを遮断した完全ローカルの検索拡張生成により複数モデルと検索規模を評価しました。署名検証は端末上での再埋め込みより大幅に短時間で済みますが、正当な署名を持つ汚染パックはすべての検査を通過し、評価したいずれの機構も証拠の真偽を確立できないと報告しています。
説明VulDec：ニューラル逆コンパイルによるバイナリの脆弱性検出
要約本論文はVulDecを提案する。これは、複数のアーキテクチャにわたる実世界のアセンブリとC関数のペアにCWEの詳細な注釈を付けた大規模データセットと、ニューラル逆コンパイルを用いたバイナリ脆弱性検出のエンドツーエンドフレームワークからなる。データセットで調整したLLMベースの逆コンパイラは良好なソースコード復元を示し、検出器は分布内の現実的なテストセット（脆弱性率3%）でマクロF1値0.61に達したと報告している。
