★★★★★ 注目
IACR ePrint
Attacks and cryptanalysis
説明Reverse-Bleichenbacher：Bleichenbacher攻撃が再び実用的になる
要約本論文は、Bleichenbacher のパディングオラクル攻撃を改良した Reverse-Bleichenbacher を提案します。下位バイトから復元し、目的の秘密が得られた時点で探索を終えるため、問い合わせ回数を減らせます。2048 ビット RSA PKCS#1 v1.5 オラクルに対し、中央値の問い合わせ数は 11,428 から 1,801 に減り、単一サーバー条件では 68.3% の試行が 30 秒以内に完了したと報告されています。さらに、Tranco Top 1 Million 中の脆弱なドメイン 640 件を特定し、ソフトウェア更新を通じた遠隔コード実行の例も示しています。
注目点最下位バイトから復元する新しいBleichenbacher探索により問い合わせ数を大幅削減し、実在ドメインとソフトウェア配布経路で端到端の影響を実証している。
Youheng Lü, Lorenz Hetterich, Riccardo Zanotto ほか
arXiv
cs.CR · cs.SE
説明エッジCPUのTEEでAIモデルを保護：WebAssemblyの可能性と実用上の課題
要約本論文は、Arm TrustZone の OP-TEE（信頼された実行環境）上で、エッジ機器のAIモデルの知的財産を保護する方法を検討しています。WebAssembly にコンパイルした未改変のAIモデルを、OP-TEE 内の WAMR で実行できるようにし、暗号化したバイナリの鍵はデバイスのヒューズに格納されます。評価では、手動で OP-TEE に移植した場合と比べて 22% のオーバーヘッド、推論遅延は 6% 増加と報告されています。
Friedrich Vandenberghe, Lachlan J. Gunn, Bruno Volckaert ほか
arXiv
cs.CR · cs.NI
説明HPQ-AKE：帯域幅が制限された IoT・エッジネットワーク向けの、安全性が証明された署名なしハイブリッド認証鍵交換プロトコル
要約本論文は、耐量子移行期の IoT・エッジネットワークで生じる認証のコスト増に対処するため、ハンドシェイクの署名を二重の KEM に置き換える HPQ-AKE プロトコルを提案しています。ML-KEM-768 と RSA-OAEP を組み合わせ、暗黙の相互認証を実現するとしています。著者らは x86 環境での評価で、モデル上のハンドシェイク送信量を混合 TLS 1.3 完全ハンドシェイクと比べ 56.4% 削減し、模擬衛星リンクでの中央値遅延は 31.4% 低いと報告しています。ARM ゲートウェイや、ハードウェア支援のない マイクロコントローラでの性能は未検証と明記されています。
Khiem Pham-Tuan, Minh Quang Le, Khuong Nguyen-An
arXiv
cs.CR · cs.GT · cs.NI
説明SDN対応EV充電ネットワークにおける移動目標型防御（Moving Target Defense）
要約本論文は、ソフトウェア定義ネットワーク（SDN）を用いたEV充電インフラ向けに、CS-SHIELDという移動目標型防御機構を提案しています。クロスレイヤーの識別検証により悪意あるフローテーブルのルールを検出し、すべてのアクティブな充電器に仮想IPアドレスを再割り当てします。実充電プロトコルを実装したエミュレーション試験環境での実験では、攻撃下でも充電サイトの可用性を維持し、正常時の遅延増加はわずかであることが示されています。
Roland Plaka, Mikael Asplund, and Simin Nadjm-Tehran
arXiv
cs.CR
説明企業セキュリティ・ブレインのための組織コンテキスト：エージェントに人が把握する業務知識を補う研究
要約本論文は、セキュリティ・エージェントが資産を判断する際、所有者、業務機能、適用ポリシー、受容済みリスクなど組織レベルの知識も必要であると指摘します。これらの多くは機械状態の外、ポリシーや監査報告書、構成図、チケットなどに記録されています。著者らは組織コンテキストの層、分類、データモデルを提案し、AWS、Okta、Google Workspace、GitHub を含む本番環境で抽出と推論の性能を評価しています。
Eden Yavin, Ariel Zadok, Gal Engelberg ほか
★★★★★ 注目
arXiv
cs.CR
説明公開投稿から AI 検索の引用へ：AI 検索の脆弱性を測る
要約本論文は、AI 検索プラットフォームがウェブ上の情報源を選び引用する仕組みを調べたものです。10 の平台で計 17,211 件の引用を分析し、特定ドメインへの集中と、投稿の敷居が低い発信先が多いことを報告しています。実験では、通常の投稿が 7 日以内に 10 平台中 8 平台で架空の概念の引用につながり、商用サービスを使った投稿も 1 時間以内に引用されたとしています。
注目点AI検索の引用に至る低障壁の公開経路を提示し、10プラットフォーム・17,211件の引用とマーカー実験で検証しており、影響が大きい。
Qi Liu, Geng Hong, Xinyang Zhang ほか
arXiv
cs.CR
説明検索拡張生成（RAG）システムのためのセキュリティメタモデル
要約本論文は、検索拡張生成（RAG）システムの各段階、攻撃、脆弱性、リスク、そして機密性・完全性・可用性（CIA）への影響の間の因果関係を捉えるセキュリティメタモデルを提案しています。2023年から2026年までの43件の文献を構造的に分析して作成したカタログを用い、導入構成に応じたリスクプロファイルを生成できます。分析では攻撃研究に比べて防御研究が少ないこと、脅威がデータ取り込み段階に集中していること、出力の完全性に関する対策の空白があることが示されています。
Steve Nouyep, S\'ebastien Salva, Maxime Puys
IACR ePrint
Cryptographic protocols
説明1の冪根を使わない指数上の高速多項式演算
要約離散対数が困難とされる群において、群元素の指数上で行う多項式演算を、1の冪根が不要な形で高速化する手法を提案しています。著者らは群係数多項式の代数的枠組みを整備し、Schönhage-Strassenアルゴリズムに着想を得た方式を設計しました。この方式はNTTの約半分の速度で動作し、群の位数に算術的な性質を要求しません。さらに、バッチ化したKZGコミットメント証明や、電子投票で使われるBayer-Groth検証可能ミックスネットへの応用も説明されています。
Diane Ducrocq, Pierrick Gaudry
arXiv
cs.CR
説明マルチベンダーFPGAクラウド展開向けの識別子ベース認証付き集約暗号方式（SAEID）
要約本論文は、異種マルチベンダーのクラウド基盤におけるFPGAビットストリームの安全な展開のためのフレームワーク「SAEID」を提案します。集約認可、証明書不要の識別子ベースデバイス認証、識別子に紐づくビットストリーム検証を、ペアリングベースの暗号枠組みで統合し、ビットストリーム保護にはAES-256-GCMを用いています。複数のFPGAベンダーとIP提供者への対応、能力を考慮した認可、動的なデバイス構成に対応します。実験では、デバイス認証に約4.35ミリ秒、ZC702プラットフォームでのソフトウェア復号経路全体に191.126ミリ秒を要したと報告されています。
Mukta Debnath (University of Calcutta, India), Krishnendu Guha (University College Cork ほか
arXiv
cs.DS · cs.CR
説明指数選択における局所感度：失敗モードと有効な較正
要約本論文は、差分プライバシーの非公開選択において、データセットに依存する感度で大域感度を安全に置き換えられる条件を検討する。局所感度の私的な高確率上界、温度パラメータを探索する Propose-Test-Release 型の変種、平滑感度に基づく複数の設計という三つの有効な手法を提案している。各機構について、その前提条件下での高確率の後悔（regret）上界を導出している。
Dung Nguyen, Anil Vullikanti
arXiv
cs.CR
コードあり
説明SemField：単純・線形・連続的で頑健な意味論的電子透かし
要約本論文は、大規模言語モデルが生成したテキストを識別するための、学習不要な意味論的電子透かしSemFieldを提案します。共有秘密鍵で定めたガウス方向に沿って、文埋め込み空間へ連続的な線形信号を埋め込み、文書全体の累積ベクトルがその方向に沿うよう候補文を選択します。極性固定版SemField-PLも提案されており、両版とも4種の言い換え攻撃下で、誤検出率1%における平均真陽性率が88.2%から90.4%でした。困惑度と自然さは人間の文章と同程度と報告されています。
Varun Gumma, Navonil Majumdar, Soujanya Poria
arXiv
cs.CR · stat.ME
説明大規模言語モデル重み流出を随時有効に検出する手法
要約本論文は、侵害された大規模言語モデル推論サーバーが、もっともらしいトークン選択にペイロードビットを埋め込んで重みを漏洩させる問題を扱います。信頼できるサーバーでの再実行と比較し、複数の応答にわたって証拠を逐次蓄積するプロンプト単位のe-processを提案します。校正の移転を仮定したうえで、無制限の監視期間にわたる誤警報確率を制御します。四つのモデルで評価し、チャネル容量と検出可能性のトレードオフも分析しています。
Ines Ortega-Fernandez, Mateusz Kowalczyk, Keri Warr
arXiv
cs.CR · cs.GT · cs.NI
コードあり
説明ボットネット拡散のためのホスト攻撃グラフ
要約本論文はホスト攻撃グラフ（Host Attack Graph）モデルを提案し、2つのボットネット拡散戦略を示します。ネットワークトポロジー、標的選択、攻撃戦略を変えた場合の、時間経過に伴う効果を検討しています。シミュレーションによると、戦略やボットネットの規模に加え、ネットワークトポロジーと標的選択も拡散に重要であり、軽視すべきではないとされています。
Andrei Neagu, Mara-Cristina Sterian, Paul Irofti
arXiv
cs.CR · cs.AI
説明LTBD：プロンプトインジェクション防御のための学習可能な信頼境界区切り文字
要約大規模言語モデルは、外部データに埋め込まれた悪意ある指示がユーザーの意図を上書きするプロンプトインジェクション攻撃に弱いです。本論文は、モデルのパラメータを変更せずに、少数の学習可能な区切り文字で信頼できるユーザー指示と信頼できない外部データを区別するLTBDを提案します。原文によると、攻撃成功率はAlpacaFarmで0.00%、TaskTrackerで0.11〜0.19%であり、適応型攻撃に対しても有効性を保つとされています。
Luman Zhao, Minghui Xu, Yue Zhang ほか
arXiv
cs.CR · cs.SE
説明トークンはどこへ消えるのか？脆弱性発見におけるLLMエージェントのコストの理解と削減
要約本論文は、CyberGymの200件の実行トレースを分析し、LLMエージェントが脆弱性発見で大量のトークンを消費しても動作するPoC（概念実証）を作れない理由を調べています。コードの特定と理解、脆弱性の推論とトリガー設計がトークンの60.4%を占め、失敗した実行の主なボトルネックであると報告しています。これを受けて著者らはAVRIを提案し、持続的な双方向証拠トレース（BET）を中心に情報を整理します。20の評価タスクで、成功率を維持したままCodexで総コストを18.0%、OpenCodeで23.7%削減しました。
Li Lu, Yanjie Zhao, Hongjie Chen ほか
★★★★☆ 注目
IACR ePrint
Foundations
説明普通LWEに基づくほぼ劣線形なRAM全準同型暗号
要約本論文は、普通のLWE仮定に基づくRAMプログラム用の全準同型暗号方式を提案し、各ステップの計算量をo(N/log N)で実現します。標準的なFHEは毎回のメモリアクセスでメモリ全体を読む必要がありますが、本方式はそれよりわずかに少ない計算で済みます。そのために、既存の普通LWE版二重効率私的情報検索方式が依存していた公開参照文字列を取り除いています。
注目点普通のLWEから劣線形なRAM-FHEを初めて構成し、DEPIRのCRS依存を除去した点に新規性があり、影響は理論暗号分野に限られる。
Keewoo Lee
arXiv
cs.CR · cs.SE
説明体系化調査：大規模言語モデルはソースコード復元で信頼できるか？分類と実証評価
要約本論文は、大規模言語モデル（LLM）を用いたバイナリからソースコードへの復元に関する初の体系化された調査（SoK）です。設計を軸とした分類体系を示し、6つの評価軸と7つの指標で既存手法を系統的に評価しています。標準アーキテクチャ4種と組み込みアーキテクチャ5種に由来する45,000件のテストサンプルを用い、同一言語および言語横断での復元能力を検証しています。
Varun Kohli, Lee Bing Cheng, Nur Hazim Ghazali ほか
arXiv
cs.CR · quant-ph
説明隠れた経路の証明：QKDネットワークのための拡張可能なトポロジー保証
要約大規模な量子鍵配送（QKD）ネットワークは信頼できる中継ノードに依存するため、選択された通信経路のセキュリティ特性が端末間の保証に不可欠です。一方、事業者は内部トポロジーの開示を望まない場合があります。本論文では、個々の提示で経路を明かさずに、ゼロ知識でポリシーに適合する経路が存在することを証明できるトポロジー認証の仕組みを提案します。ノードと辺を複数メッセージ署名で個別に認証し、汎用構成に対する条件付きの安全性証明を示しています。BBSベースの構成では、パラメータ50で提示サイズは約300KiB未満と見積もられ、関連パラメータで生成と検証は400ミリ秒未満とされています。
Alessandro Colombo, Margherita Cozzolino, Stephan Krenn ほか
arXiv
cs.CR
説明EIFL：信頼できないサーバー下で連合学習のグローバルモデルの秘匿性と完全性を効率的に守る方法
要約連合学習では、サーバーが集約したグローバルモデルをクライアントに返しますが、信頼できないサーバーがそれを改ざんする恐れがあります。既存の完全性検証法は、クライアント間で事前に共有し、サーバーに秘密にする補助情報に依存しており、その情報が漏えいすると回避される危険があります。本論文はEIFLを提案し、二段階集約と対称暗号を組み合わせて出力の秘匿性を守り、内積に基づく検証法と乱数ベクトル生成法で完全性を確保します。評価では、計算と通信のオーバーヘッドが既存手法より優れていることが示されています。
Zehui Liao, Qiang Li, Binghui Wang
★★★★☆ 注目
IACR ePrint
Foundations
説明固定ランク特殊種の格子における平均ケース困難性
要約本論文は、格子同型問題（LIP）の識別版ΔLIPを基盤とする格子ベース方式の安全性について検討する。GRHの仮定の下、固定ランクのエルミート格子の特殊種内で、最悪ケースから平均ケースへの帰着を示し、SVP、CVP、BDD、DSP、DGSなどの問題に適用する。この結果により、LIPベースの最小限のKEMに対する直接的かつ緊密な安全性証明を与える。
注目点特殊属内で最悪ケースから平均ケースへの帰着を与え、Kneser近傍ランダムウォークとHecke作用素のスペクトル評価を用いてLIP系KEMの安全性証明を改善しており、理論的貢献は顕著。
Koen de Boer, Maxime Bombar, Aurel Page ほか
arXiv
cs.CR
説明協調型自動運転における効率的な耐量子メッセージ認証のためのゼロ知識署名フレームワーク（ZKS-PQC）
要約本論文は、車車間・路車間通信（V2X）のメッセージ認証で、完全な耐量子公開鍵と署名の代わりにコンパクトなゼロ知識証明を用いるZKS-PQCを提案しています。既存の証明書ベースの信頼基盤と互換性を保ち、従来のECDSAとの後方互換性と段階的な移行を支えます。Linux環境と商用車載器での評価では、全アルゴリズムでメッセージサイズが95%超削減され、多くの場合、送受信側の追加処理は数ミリ秒の範囲に収まったと報告されています。
Takahito Yoshizawa, Aysajan Abidin, Edoardo Pena-Gonzalez ほか
arXiv
cs.CR
説明MARC：コーデック攻撃に耐える自己回帰型音声生成向け多ビット電子透かし手法
要約本論文は、自己回帰型音声生成のための多ビット生成型電子透かし手法MARCを提案します。トークン自体の表現と、再トークン化および複数のコーデックによって得られる混同パターンを統合し、コーデックを考慮したトークンクラスタ空間を構築します。ペイロードに基づくクラスタのスケジューリングで多ビットの透かしを埋め込みます。実験では、無加工の透かし入り音声でのビット抽出精度が平均97.3%であり、多様なコーデック攻撃下でも透かしを抽出でき、上書き攻撃に対しても頑健であることが示されています。
Liaoran Xu, Weizhi Liu, Zhaoxia Yin
arXiv
cs.CR
説明オペレーティングシステムのセキュリティ研究サーベイ：仮想化、OS検証、アクセス制御技術の現状と課題を紹介。
要約本論文は、オペレーティングシステムのセキュリティ研究を扱ったサーベイ論文です。参照モニタ（reference monitor）の設計要件を踏まえ、仮想化、オペレーティングシステムの検証、アクセス制御の各技術に関する研究成果を整理しています。また、それぞれの技術について今後の展望と課題を示しています。
Masaki Hashimoto, Ruo Ando, Toshiyuki Maeda ほか
arXiv
cs.CR · cs.AI
説明GROB：疑わしい自律エージェント活動の公開トレース調査のためのマルチエージェント構造
要約本論文は、特権的なテレメトリが利用できない場合に、公開インターネットのトレースを通じて疑わしい自律エージェントの活動を調査するマルチエージェント構造GROBを提案しています。2026年9月の固定コーパスでは、収集された複数のトレースが後から現れた公開証拠によってより有用になりました。最も強い結果は9月9日に取得されたCensusラベル付き識別子に関するもので、後の公開改訂記録によって6月16日から17日のCensusリクエストに対応づけられました。著者らは、公開トレースだけでは組織への帰属は確立できず、エージェント実行主体の同一性の継続は依然として研究課題であると指摘しています。
Chiara Bonfanti, Cataldo Basile
IACR ePrint
Attacks and cryptanalysis
説明KIFA：GIFT系暗号に対するカーネルベース積分故障解析
要約本論文はKIFA（カーネルベース積分故障解析）を提案します。Hwangらのカーネルベースのマイナーを用い、MILPの代わりに平衡性質を抽出する積分故障攻撃フレームワークです。DEFAULTに対し、ランダム位置のニブル故障で故障貫通度9、ランダム位置のバイト故障で10の攻撃を示し、これまでの最良の8を上回ります。GIFT-128では、従来の5に対して初めて7と8の積分故障攻撃を示しています。GIFT-64とBAKSHEESHについても従来の最良結果を拡張しています。
Hanbeom Shin, Yunjae Hwang, Donggeun Kwon ほか
arXiv
cs.CL · cs.CR
説明判定モデルを審査役に使う場合の敵対的手がかり：リクエスト提示方法の役割
要約本論文は、回答を採点する判定モデルが、同じ候補回答のわずかな変更にどう反応するかを検証した研究です。DROPおよびGSM8Kの200の未使用ソース群で、コロン一つを加えるだけで誤答の受理率が大きく上がること、その結果が採点指示や提示方法によって変わることを報告しています。また、誤りの大きい候補ほど受理されやすい傾向があると述べていますが、内部原因は測定していません。
Hongliang Liu
★★★★☆ 注目
arXiv
cs.CR
説明MORDOR：弾力的リフレッシュスケジューリングによる読み出しディスターブ予防操作のオーバーヘッド低減
要約本論文は、DRAMのRowHammerなどの読み出しディスターブ現象に対する予防的リフレッシュが、通常のメモリ要求より優先されることで生じる遅延、性能低下、エネルギー消費の増大に着目している。著者らはメモリコントローラに組み込むスケジューリング方式MORDORを提案し、データ整合性を保ったまま予防的リフレッシュを遅らせる。六つの既存の緩和技術に統合して評価した結果、システム性能と省エネルギー性が向上し、面積コストは小さいと報告されている。
注目点メモリコントローラで予防的リフレッシュを要求メモリアクセスの後回しにする新しいスケジューリングを提案し、六つの既存手法に統合して評価しており、性能とエネルギーへの影響は広い。
Maria Makeenkova, Ataberk Olgun, F. Nisa Bostanc{\i} ほか
IACR ePrint
Cryptographic protocols
説明Mercury：しきい値に対して対数的な計算・通信量を持つファジー秘密集合積協議
要約本論文は、公開された距離しきい値 δ の下で近似的な交差要素を特定するファジー秘密集合積（FPSI）プロトコル「Mercury」を提案する。準同型暗号と安全な二者間計算を組み合わせ、「マスクしてから比較」の手法で隣接する点対を効率的に見つける。計算量と通信量はしきい値 δ に対して対数的である。LAN環境での評価では、Dang ら（CCS'25）のFPSIプロトコルと比べ、送信者プライバシー版は平衡な二次元入力において実行時間を 9.0〜63.9 倍、通信量を 8.7〜26.1 分の 1 に削減した。
Qi Liu, Kang Yang, Binwu Xiang ほか
arXiv
cs.CR
説明ProxyEraseAgent：実環境における盲目的な電子透かし除去手法
要約本論文は、画像に埋め込まれた不可視の電子透かしを、隠れたデコーダにアクセスできない単一画像の条件下で除去する問題を扱っています。提案手法ProxyEraseAgentは、公開されている透かし方式の候補デコーダを代理の境界推定器として用い、校正された応答の強さで順位付けし、その応答をもとに幾何変形、JPEG圧縮、画像再構成、勾配摂動などの操作を段階的に探索します。11種類の透かしシステムでの実験では、攻撃成功率は94.8%でした。
Jun Yao, Chao Wang, Yupeng Qiu ほか
arXiv
cs.CR · cs.DB
説明方針を考慮したプライベートデータ合成のためのソフト投票
要約この論文は、Blowfishプライバシー（データ所有者が方針グラフの辺として指定した属性値の置換のみを保護する仕組み）の下で、Private Evolutionとその表形式版Tab-PEのような最近傍投票型のプライベートデータ合成手法を扱います。ハード投票では方針で保護される置換が境界を越えると感度が最悪値になり、方針グラフによるノイズ削減が得られないことを示しています。そこで温度で平滑化したソフト投票BF-Softを提案し、方針の到達範囲と温度だけに依存する感度の閉形式上界を与えています。狭い数値方針では強いプライバシー予算でハード投票より誤差を減らしますが、弱い予算では逆転します。
Yingge Hu, Gautham Ramesh Babu, Mostafa Milani
★★★★☆ 注目
arXiv
cs.CR
説明NIST第3次公募格暗号候補のパラメータ族に対する証明可能な準指数時間アルゴリズム
要約本論文は、NIST第3次公募の格ベース暗号候補に関連するパラメータ族について、秘密情報を復元する古典的な準指数時間アルゴリズムを示しています。一部のパラメータ族では、短い秘密成分を期待時間・空間2^((1/2+o(1))n/ln ln n)で復元できるとしています。NTRU型の商関係には、アフィンスライス探索を提案しています。著者らは、これらの結果が7つのNIST第3次候補すべてに関わる問題族を扱うとしつつ、現行の規定パラメータの具体的な安全性を低下させるものではないと述べています。
注目点NIST第3ラウンド格子候補の族に対する証明可能な準指数アルゴリズムを提示し新規性は高いが、主に理論的証拠で実験的検証は限定的。
Yiming Gao, Xuyuan Han, Honggang Hu
arXiv
cs.CR · cs.LG
説明BRACE：LSRエネルギーを用いた密な連想記憶の差分プライバシー手法
要約本論文は、log-sum-ReLU（LSR）エネルギーに基づく密な連想記憶（DAM）の検索過程を対象に、差分プライバシー機構BRACEを提案しています。境界に敏感な摂動を適応的に補正し、検索軌跡全体での累積的影響を制御します。理論面では、次元に依存しない終点および全軌跡の検索誤差率においてミニマックス最適であることを示し、中心極限定理によりプライベート検索の不確実性定量化を可能にしています。数値実験では既存の差分プライバシー手法と検索精度を比較しています。
Chang Qu, Zhaoyang Shi
★★★★☆ 注目
IACR ePrint
Foundations
説明単方向関数から検証可能遅延関数を分離する
要約本論文は、検証可能遅延関数（VDF）から単方向関数（OWF）が導けるかを検討しています。VDFは評価に多くの逐次的時間を要しますが、出力は一意で効率的かつ公開的に検証できます。著者らは、VDFが完全ブラックボックスかつ相対化可能な帰着によってはOWFを導けないことを示しています。既存の結果（VDFはランダム・オラクル・モデルでは構成できない）と合わせると、両者の間にはどちらの方向にもブラックボックス的な含意が存在しないことになります。証明では、ランダム・オラクルと、コルモゴロフ複雑性に着想を得た複雑性理論的オラクルを組み合わせた新しい分離技術を用いています。
注目点VDFが黒箱帰着により一方向性関数を導けないことを示し、ランダムオラクルとコルモゴロフ複雑性風のオラクルを組み合わせた新しい分離手法を提案している。
Hamza Abusalah, Nicholas Brandt, Ziyi Guan ほか
★★★★★ 注目
arXiv
cs.SE · cs.CR · cs.SI
説明スキル星座：GitHub上のエージェントスキルのサプライチェーンを追跡
要約本論文は、AIコーディングエージェントのスキルファイル（SKILL.md）がリポジトリ間のコピーによって広がり、レジストリもバージョン管理もない一種のソフトウェアサプライチェーンを形成していることを指摘しています。著者らはGitSkillsの全SKILL.mdのgit履歴から日付付きのコピーネットワークを構築し、GitHub上の2,193,119件の採用を対象としました。少数のリポジトリがほぼすべてのコピーの出所であり、GitHubのスターではそれを特定できないことがわかりました。また、元の修正がコピーに届くことはまれです。モデルで順位付けした上位100リポジトリを監査すると、後の高リスクスキル採用の14.9%を防げ、スター数上位100では0.5%にとどまります。
注目点エージェントスキルの日付付きコピー網を初めて構築し、約219万件の採用を対象とする。履歴に基づく監査順位は、スター数より高い効果を示し、根拠は比較的しっかりしている。
Fahd Seddik
arXiv
cs.CR · cs.AI
説明確率的AIモデルにおけるTP-CRIVの統計的分離可能性の特徴づけ
要約本論文は、第三者チャレンジ・レスポンス本人性検証（TP-CRIV）において確率的AIモデルがどの程度区別可能かを検討しています。同じクエリを繰り返すと出力が変わるため、その確率的な証拠をどのように蓄積し、信頼できる検証に必要な量を見積もるかが問題になります。大規模言語モデルと自由記述型チャレンジを用いた実験では、一致する場合と一致しない場合が分離できること、理論値と実験値のAUCがよく一致すること、目標AUCに必要な最小検証量の推定が一貫していることが示されています。
Teruki Sano, Minoru Kuribayashi, Masao Sakai ほか
arXiv
cs.CR · cs.CV
説明偽の主張、信じられる画像：商用画像生成モデルのレッドチーミング用ベンチマーク
要約本論文は、画像生成モデルが本物らしい虚偽の視覚情報を容易に作れることを指摘し、現行の安全対策は画像が何を示すかは判断するが、それが何を主張しているかは十分に判断していないと論じています。著者らは、1万件の虚偽主張プロンプトとそれに対応する生成画像からなる評価基準 EpiReal-Bench と、攻撃手法 EpiReal-Attack を提案しました。四つの商用モデルの実験では、虚偽主張プロンプトの70%超が虚偽情報を忠実に描いた画像を生成し、攻撃によりその割合は95%に達しました。
Zeyu Ye, Yanchun Li, Sibei He ほか
arXiv
cs.CR
説明AIエージェントシステムへの攻撃の検証：プロンプトインジェクションが単体・複数エージェントで情報漏えいや連鎖感染を起こす仕組みを調べる研究
要約この論文は、プロンプトインジェクション攻撃がユーザーの直接入力とエージェント間通信を悪用して、機密情報を漏えいさせたり、エージェント間で感染を引き起こしたりする仕組みを調べています。試験では主に単体エージェントシステムの重大な脆弱性が示され、複数エージェントの枠組みにも攻撃を広げて、弱点がエージェント間でどう伝播するかを検討しています。著者は、AIエージェントが実際の業務フローに組み込まれるほど、より強固な防御が必要だと強調しています。
Cathleen Qiao, Layah Vigneaud, Chloe Brandon ほか
arXiv
cs.CR
説明x86 IoTゲートウェイにおける後量子TLS 1.3向けHQCの高速化
要約本論文は、IoTゲートウェイでの後量子TLSに用いる符号ベースのHQCを、AVX2・AVX-512・GFNI命令セットを使ってx86プロセッサ向けに最適化し、TLS 1.3に組み込んだものです。Intel Core i5-1135G7上で、AVX-512実装は既存のCabral et al.実装と比べ、鍵生成・カプセル化・デカプセル化をそれぞれ24.9〜29.5%、10.4〜11.1%、20.6〜26.1%削減しました。1 Mbit/s・RTT 50 msの制約リンクではHQC-5のハンドシェイクが243 ms、ML-KEM-1024は87 msでした。残るコストは実装速度よりも公開鍵と暗号文のサイズに起因するとされています。
Jihoon Jang, Hyunju Park, Jebin Kim ほか
★★★★☆ 注目
IACR ePrint
Foundations
説明言語モデリングは単調圧縮である：大規模言語モデルと単調圧縮アルゴリズムの等価性を理論的に示す研究
要約本論文は、大規模言語モデルとデータ圧縮の関係を理論的に検討しています。次トークン予測器として形式化したLLMと、入力の順序を保つ単調（順序保存）圧縮アルゴリズムは、誤差が加法的ギャップ2以内で互いに構成できることを示しています。また、この等価性に単調性が必要となるのは、暗号学的な（無限回しばしば成立する）一方向性関数が存在する場合に限ることを論じ、次ビット擬似エントロピーと単調な非圧縮性の等価性という暗号学的系も導いています。
注目点LLMと単調圧縮アルゴリズムの理論的同値性を示し、疑似エントロピーに関する暗号理論の結果も得ている。新規性と証明の厳密さは高いが、実験はなく、影響は理論の一分野に限られる。
Noam Mazor, Andrew Morgan, Rafael Pass
★★★★☆ 注目
arXiv
cs.IT · cs.AI · cs.CR
説明言語モデリングは単調圧縮である：大規模言語モデルと単調圧縮の等価性を示す理論研究
要約本論文は、大規模言語モデル（次トークン予測器として形式化）の能力と情報圧縮との関係を理論的に検討する。大規模言語モデルと単調（順序保存）圧縮アルゴリズムは、誤差が加法的定数2の範囲内で互いに構成できるという意味で等価であることを示す。さらに、この等価性に単調性が必要となるのは、暗号学的な（無限回成立する）一方向性関数が存在する場合に限ることも述べられている。
注目点LLMと単調圧縮アルゴリズムの等価性を証明し、暗号学的一方向関数との関係を示す理論的に新しい結果だが、直接的な影響は限定的。
Noam Mazor, Andrew Morgan, Rafael Pass
arXiv
cs.CR · cs.AI · cs.LG
説明NOMOS：書面ポリシーを静的検証済みのツール呼び出しゲートに変換し、LLMエージェントを制約する手法
要約本論文は、自然言語のポリシーを決定的なツール呼び出しゲートに変換する四段階のコンパイラNOMOSを提案しています。τ²-benchでは、ゲートによって状態を変更する呼び出しにおける違反率が大幅に下がりました。銀行タスクでは、テストした攻撃に対する攻撃成功率がゼロに、他のスイートでは最大3.6%になったと報告されています。判定はLLMを呼び出さずマイクロ秒単位で行われ、コンパイルはオープンウェイトモデルを用いてオンプレミスで実行できます。
Min-Young Yu, Tony Kim, Jang Won Choi
★★★★☆ 注目
IACR ePrint
Foundations
説明確率的証明における時間・空間トレードオフ：証明そのものに時間と空間の取捨選択があるか
要約近年の多くの確率的証明の構成は証明の速度は速いものの、空間計算量が被証明計算よりはるかに大きい。本論文は、確率的検査可能証明（PCP）およびその多ラウンド拡張である対話型オラクル証明（IOP）に対し、時間・空間トレードオフを示す。結果は順次入力アクセスを持つ機械計算に成り立つ。また、R1CS向けのIOPでトレードオフを回避する構成も示すが、R1CSの見義にはランダムアクセスが必要である。証明には衝突耐性ハッシュ関数の存在を仮定する。
注目点確率的検査可能証明と対話型オラクル証明に初めて時空トレードオフを示し、衝突耐性ハッシュを用いて小空間機械の情報フローを証明系の性質と結びつけており、理論的に新規性が高い。
Alessandro Chiesa, Ziyi Guan, Omer Paneth ほか
arXiv
cs.CR
説明ML-DSA署名のヒント重みは鍵に依存する：FIPS 204の3つのパラメータセットに関する実証研究
要約本論文は、ML-DSA（FIPS 204）の署名に含まれる公開ヒントベクトルのハミング重みが署名鍵によって変わることを調べた。主な要因は、鍵生成で公開鍵から除かれる下位部分t0のノルムである。3つのパラメータセットで参照C実装を用いて実験し、鍵による差は統計的に検出できるものの効果は小さく、署名鍵を危険にさらすものではないが、統計的な指紋として利用されうることを示している。
Dominik Blain
★★★★☆ 注目
IACR ePrint
Cryptographic protocols
説明ランダムウォークに基づく、n-1 台の腐敗パーティに耐えるゲーム理論的に公正なコイン投げ
要約本論文は、最大 n-1 の参加者が腐敗した場合における多者コイン投げプロトコルの公平性を研究しています。協力的戦略耐性（CSP）公平性という定義を用い、逸脱によって腐敗した参加者の期待合同効用を高められない状況を扱います。著者らは、コミット・アンド・リビールと中断時の遷移分布の調整を組み合わせた公開ランダムウォークによる構成を提案し、実現可能な効用行列と不可能な条件を示しています。三者の場合については完全な特徴づけを与えています。
注目点公開ランダムウォークに基づく構成により、任意のフルランク効用行列で n-1 個の腐敗に耐えることを示し、3者の場合を完全に特徴づけた。
Zirui Wang, Ke Wu
arXiv
cs.CR · cs.AI
説明スピードバンプ：投機的デコーディングに対する拒否攻撃
要約投機的デコーディングは、草稿モデルが候補トークンを生成し、目標モデルが一度の順伝播でまとめて検証することで大規模言語モデルの推論を高速化する手法です。本研究は、攻撃者が管理する内容に敵対的な接尾辞を追加し、草稿モデルと目標モデルの不一致を増やす「投機的拒否攻撃（SRA）」を提案しています。その結果、受け入れられるトークン数が減り、推論の遅延とコストが増加し、場合によっては自己回帰デコーディングより遅くなることが示されています。
Adam Y. J. Jones, Yu Yuan, Sergio Maffeis
arXiv
cs.CR · cs.LG
説明組み込み機械学習への電力サイドチャネル攻撃：出力を隠しても消費電力から学習データの有無を推定
要約本論文はPSCMIAと呼ばれる、組み込みMLモデルに対する電力サイドチャネルを用いた成員推論攻撃を提案しています。予測確率や予測ラベルがなくても、電力トレースから特定のサンプルが学習に使われたかを推定できます。MNIST、FMNIST、CIFAR10、CINIC10の各データセット、全結合型とCNNのモデル、STM32F3とXMEGAの2種のプラットフォームで評価され、全結合型モデルでのROC-AUCは最大0.907に達しています。16の構成のうち11でラベルのみを用いる手法より高い性能を示しました。
Sahan Sanjaya, Prabhat Mishra
★★★★☆ 注目
IACR ePrint
Foundations
説明内積関数型暗号における共謀による漏えいの幾何学
要約本論文は、内積関数型暗号（IPFE）で複数の主体が共謀した場合の情報漏えいを扱う。各機関の認可された鍵ベクトルが張る部分空間でモデル化し、共謀集合が平文を直交補空間を法としてどこまで決定できるかを示す。授権空間の次元と対の共通部分の次元に制約がある場合に、共謀者が必ず得られる最小次元を厳密に特徴づけ、その下限を同時に達成する構成も与えている。
注目点共謀による漏洩を部分空間和の直交補空間で特徴づけ、次元に関する厳密なトレードオフとReed–Solomon秘密分散との関係を示しており、理論的新規性があるが影響は主に理論分野に限られる。
Ferdinando Zullo
arXiv
cs.CR · cs.SE
説明「欠陥が連鎖するとき」：JavaScriptエンジンの脆弱性と悪用チェーンの理解
要約本論文は、JavaScriptエンジンの脆弱性に関する初の包括的な実証研究です。2017年から2024年までの主要な4種のエンジンにおける241件の脆弱性からなるデータセットを構築し、その症状と根本原因を分類しています。さらに、論理エラーがメモリ安全性違反へと伝播する脆弱性トリガーチェーンを抽出し、悪用可能性と緩和策を分析し、開発者や研究者への示唆をまとめています。
Yuhan Ma, Jiongchi Yu, Xiaofei Xie ほか
IACR ePrint
Cryptographic protocols
説明ゼロ知識知識証明を使わない、完全準同型暗号に基づく実用的で効率的なMPC
要約この論文は、完全準同型暗号（FHE）を用いて、静的な悪意ある腐敗モデルで安全な多者間計算（MPC）を実現する方法を扱っています。Smartによる既存のFHEベースのMPCプロトコルの完全版で示されたアイデアを発展させ、そのプロトコルからゼロ知識知識証明（ZKPoK）を完全に取り除いています。これにより、MPCプロトコルの最終的な安全性証明がより単純でモジュール化されたものになります。新プロトコルは暗号化された擬似乱数関数（PRF）機能を持つFHE方式を用い、さらに、そのような暗号化PRFの安全性を形式化し、Deoらの構成（CCS 2025）がこのモデルで安全であることを証明しています。
Kelong Cong, Nigel P. Smart, Titouan Tanguy ほか
arXiv
cs.CR · cs.LG
説明CPU-Auth：DVFSサイドチャネルを用いた認証のためのデバイスフィンガープリンティング論文
要約本論文は、コンピューティングデバイスのCPUの物理的特性の個体差に基づく新しい認証方式CPU-Authを提案しています。ブラウザ内から動的電圧周波数制御（DVFS）ガバナの挙動を遠隔で測定することで、ハードウェアベースのデバイス指紋を構築できるとしています。5万件を超えるデータトレースを用い、距離ベースの手法と深層学習手法で性能を評価しています。
Ryan Swift
arXiv
cs.CR · cs.SD
説明拡散モデルによる検出誘導型適応的浄化を用いた頑健な音声ディープフェイク検出
要約音声ディープフェイク検出器は、検出に用いられる音響的手がかりを抑制する敵対的摂動に弱いという課題があります。本論文は拡散モデルを用い、入力ごとに浄化の強度を調整するDGAPを提案します。軽い浄化による検出スコアの変化が敵対的入力では正常入力より大きいことを利用し、変化の大きい入力により強い浄化を施します。三つの検出器と三種の攻撃設定での評価では、既存の九手法より高い防御性能を示し、正常入力への影響はほとんどないとされています。
Muhammed Salih Kayhan, Qiben Yan
IACR ePrint
Public-key cryptography
説明格ベースのブラインド署名方式の再検討
要約本論文は、Crypto'20で提案された格ベースのブラインド署名方式に対する攻撃を示しています。著者らは、その盲匿名性（blindness）の安全性証明に長年見過ごされてきた不備を見つけ、誠実な鍵と誠実だが好奇心のある署名者という設定で、木の葉同士の相関を利用した攻撃を提示しています。また、方式の修正方法についても論じています。
Yi-Fu Lai, Yu Yu
★★★★☆ 注目
arXiv
cs.CR · cs.AI
説明BRANCH：複数スキャナー型AIガードレールの回避手法
要約本論文は、複数のスキャナーから構成されるLLMガードレールを回避するBRANCHという手法を提案している。分岐木探索により各スキャナーに敵対的摂動を動的に適用し、全スキャナーの総合的な改善に基づいて摂動の最適化と手法の選択を行う。原文によれば、6つのガードレールシステムに対する120のシナリオで攻撃成功率100%を達成し、29の未知のガードレール（商業ブラックボックス8種を含む）にも転移したという。
注目点多スキャナー型ガードレールを対象に分岐木探索で回避する手法を提案し、6システム120シナリオで成功率100%、29未知ガードレールへ転移を示す。
William Hackett, Peter Garraghan
★★★★☆ 注目
arXiv
cs.CR · cs.SE
説明DITTO：セキュリティ監査向けの文脈認識型 Pickle 事前学習モデルスキャナー
要約論文は、事前学習モデルが安全性の低い Pickle 形式で配布されることが多く、逆シリアル化攻撃のリスクがあると指摘しています。Hugging Face の人気リポジトリ 10,000 件超の分析では 9.3% が Pickle に依存していました。著者らは、スタックベースで文脈を考慮する初の Pickle モデル向けスキャナー DITTO と、良性 959 件・悪意あり 92 件の実モデルからなる PickleBench を提案しています。DITTO はスキャン網羅率 100%、偽陰性率 0%、偽陽性率 0.7%、F1 スコア 0.966 を報告しており、既存スキャナーを上回るとされています。
注目点Pickleモデル向けのスタックベース文脈認識スキャナーで既存ツールの網羅性と誤検知を改善。959の良性・92の悪性モデルで評価し証拠は比較的十分、モデル供应链の安全に実用的影響がある。
Qiaolin Qin, Wanpeng Li, Benoit Baudry ほか
arXiv
cs.SE · cs.CR
説明実行時点でのセキュリティ設計の適用：統制されたセキュリティ要件はAI生成コードの安全性にどう影響するか
要約本論文は、コード生成時にSbD-ToE知識ベースから選んだセキュリティ要件をMCPサーバー経由で生成器に与えると、AI生成コードの安全性が変わるかを検証しています。DualGauge（Python 59タスク）とBaxBench（バックエンド28シナリオ）の両方で、全セキュリティテストに合格するタスクの割合や、攻撃が成功しなかった機能的に正しい解の割合が上昇しました。一方、事前に定めた安全性と機能性の併用指標は有意に改善しませんでした。著者は、既存のベンチマークは特定の弱点の有無しか測れないため、適用される要件への適合性を測定すべきだと提案しています。
Pedro Farinha
arXiv
cs.CR · eess.SP
説明無人機ネットワークにおけるバックドア耐性を持つ連合学習型GPS欺瞞検出：受信機側の挙動プロービング手法
要約本論文は、無人機の連合学習でGPS欺瞞を検出するモデルを扱う。一部の参加者が自己申告の検証精度を水増しして集約時の重みを高め、バックドア攻撃を成功させうることを示す。提案手法では、調整役が各モデルを反事実的な欺瞞サンプルで評価し、申告値ではなく実際の挙動に基づいて重み付けを行う。独立同分布の条件では攻撃の効果がほぼ消えるとしている。
Will Jedrzejczak, Cole Walther, Dilpreet Gill ほか
arXiv
cs.LG · cs.AI · cs.CR
説明Nullify：学習不要で零空間活性化ステアリングにより LLM の知識を消去する手法
要約本論文は、大規模言語モデルから特定の知識を消去する学習不要な手法 Nullify を提案しています。重みを更新せず、推論時にステアリングベクトルを用いて、プライバシー関連の活性化を記憶された回答から引き離します。同時に零空間制約により、保持すべきクエリの活性化をほぼ変えないようにし、有用性を保ちます。TOFU と MUSE での評価では、忘却の品質で既存のベースラインと同等以上の結果が示されたとされています。
Wei Zhai, Xiang Liu, Qiang Huang ほか
★★★★☆ 注目
arXiv
cs.CR · cs.AI
コードあり
説明SLDR：選択的レイヤー回復と動的ルーティングによる悪意ある微調整への防御
要約本論文は、ファインチューニングサービスにおいて悪意ある微調整が大規模言語モデルの拒否動作を弱める問題を扱い、微調整後の防御手法SLDRを提案しています。SLDRは符号付き感度スコアが最大と最小の層だけにLoRA回復アダプタを学習させ、表現に基づく動的ルーティングで悪意あるクエリにのみアダプタを適用します。4つのモデル構造、5つの下流タスク、4つの有害性ベンチマークでの実験では、下流タスクの性能を保ちつつ有害な出力を大幅に減らしたと報告されています。
注目点有符号の層感度に基づく選択的層回復と動的ルーティングを提案し、複数モデル・タスクで検証しており実質的な改良がある。
Hui Zhang, Yachao Yuan, Jiayun Wang ほか
arXiv
cs.LG · cs.CL · cs.CR
説明PatchBench：アクティベーションパッチにおける副次的損害の測定
要約本論文は、8つのオープンソース指示チューニング済みモデルで観測された、有害な回答を引き出す高信頼度の脱獄失敗400件を収録したベンチマーク「PatchBench」を提案します。さらに、有害な近傍例の修正と良性な近傍例の維持を評価する「PatchBench-Local」プロトコルを導入し、修正が行動面で精密かどうかを検証します。四つのアクティベーションステアリング手法で評価した結果、全体的な能力指標はほぼ変わらない一方、局所的な良性例での回帰が深刻であり、従来の総合指標では重要な副次的損害を捉えられないことが示されました。
Alexi Canesse, Mathis Le Bail, Ma\"el Jenny ほか
arXiv
cs.LG · cs.CR
説明PairAudit：分布シフト下でグラフトークンを用いて人手によるレビューを導く手法
要約侵入検知器は、学習時に見ていない攻撃を自信を持って誤分類することがあります。人手によるレビューでこれらの誤りは訂正できますが、確認できる件数には限りがあります。PairAudit はグラフトークンで隣接ノード間の予測パターンを捉え、見落とされた誤りを発見して、固定の予算内でレビューの優先順位を改善します。人からのフィードバックは、優先順位の変更が妥当かどうかの判断に用いられます。実験では、不確実性に基づくレビューより平均して多くの誤りを訂正し、未知の攻撃に対する誤りも含まれること、またレビューコストをすべて含めても検知器の再学習は不要であることが示されています。
Jiran Tao, Binyan Jiang
★★★★☆ 注目
IACR ePrint
Secret-key cryptography
説明偶数次元における切り替え構成による APN 関数の新しい無限族
要約本論文は、2009 年の Budaghyan-Carlet-Leander 族以来初めて、既知族に切り替え構成を適用して得た APN 関数の新しい無限族を提示する。Budaghyan-Helleseth-Kaleyski 族に摂動項を加えて得られる APN 関数族も研究され、四つの構成が二組の切り替え対として示される。そのうち一つの族を切り替えた族は、基底族が定義されるすべての次元で APN であることが証明され、既知のいずれの構成とも CCZ 非同値であるとされる。
注目点2009年以来初めて、既知族への切り替え構成により新たな無限APN族を得て、その族が全次元でAPNであることを証明し、既知構成とCCZ非同値であることを示した。
Tor Helleseth, Nadiia Ichanska, Nikolay Kaleyski
arXiv
cs.CR · cs.SE
説明体系的レビュー：コモンクライテリア製品評価における失敗モードの分類と評価容易性設計ガイダンス
要約本論文は、ISO/IEC 15408 のコモンクライテリア（CC）に基づく製品評価で繰り返し生じる失敗モードを体系的に整理しています。失敗は、セキュリティターゲットの範囲設定からプロテクションプロファイル適合、保証証拠、暗号要件、機能試験、脆弱性分析、運用ガイダンス、認証後の構成ドリフトまでのライフサイクルに沿って分類されています。著者は根本原因を分析し、評価開始前に製品チームが適用できる評価容易性設計の枠組みを示すとともに、クラウド、継続的デリバリー、AI 対応システムにおける未解決の課題を挙げています。
Punit Suketu Patel
