arXiv のセキュリティ・暗号分野（cs.CR）と IACR 暗号学プレプリント。
説明情報理論的安全鍵配送による効率的な安全連合学習：医用画像の事例研究
要約本論文は、連合学習における安全な集約を扱う。従来の加算マスキングが依存する古典的な鍵交換は計算量的安全性しかもたないが、物理ベースの情報理論的安全（ITS）鍵交換は鍵生成速度と保存期間に制約がある。著者らは、凍結バックボーン、知識蒸馏、量子化を組み合わせて通信量と鍵消費を減らし、胸部X線分類を用いた実際の物理鍵配送テストベッドで検証した。その結果、予測精度を維持したまま鍵使用量を約35分の1に削減できることが示された。
説明RAISED：自己蒸留によるLLMエージェントのプロンプトインジェクション耐性の向上
要約本論文は、ツールを使用する言語モデルエージェントが間接的プロンプトインジェクションに弱い問題を扱っています。既存の学習時防御は攻撃成功率を下げられるものの、多くの場合汎用能力を損ない、良性の状況でも出力分布を大きくずらすことを示しています。提案手法RAISEDは、モデル自身がツール使用シナリオを生成し、生徒モデルが干渉のないコンテキストでの教師モデルの振る舞いを、元の軌跡と注入された軌跡の両方で再現するよう自己蒸留で学習します。結果として、ツール応答におけるプロンプトインジェクションの攻撃成功率を大きく下げつつ、エージェント用および汎用ベンチマークで有用性を維持しました。
説明陷関数に対する Fujisaki–Okamoto 変換の実体化可能性に関する研究
要約Fujisaki–Okamoto（FO）変換は、弱く安全な公開鍵暗号を選択暗号文攻撃に対して安全にする標準的な手法で、ML-KEM など多くの耐量子鍵カプセル化方式の基礎になっています。本論文は、鍵導出ハッシュ G の段階に注目し、暗黙的拒否を用いる KEM 版は一般には実体化できないことを示しています。また、ハイブリッド暗号版については、G が新たに定義された「分布的単射抽出性」を満たす場合に、標準モデルで IND-CCA2 安全性が得られる十分条件を与えています。
注目点ML-KEM関連のFO変換について一般的な非インスタンス化性を示し、新しい性質DINJEXTを提案。理論的証明と随機オラクルでの実現性論証が中心。
説明GF(2)上の小規模AES多項式系に対するオープンソースのGröbner基底実装の比較評価
要約本論文は、GF(2)上の小規模AESから導かれる多項式系を対象に、20のオープンソース実装を商用ソフトMagmaと比較し、実行時間、ピークメモリ、成功率、CPU使用率を評価したものです。Hard実験ではmsolveとSingularのslimgbが10回すべて成功し、平均実行時間はそれぞれ164秒と269秒で、Magmaの319秒を下回りました。結果として、オープンソース実装はMagmaの有力な代替となり得ること、その相対的性能は入力系に依存することが示されています。
説明結論は正しいが推論に欠陥：LLMによる脆弱性推論の構造化監査
要約本論文は、ソフトウェア脆弱性分析にLLMを用いた場合、結論が正しくても、自由形式の思考連鎖による説明に捏造や検証不能な主張が含まれることが多いと指摘する。著者らは、機械可読な構造化推論記録を出力させ、8種類の推論失敗モードに基づいて多段階の審査器で監査するVERAフレームワークを提案している。評価では、推論の欠陥は誤った結論と同程度に正しい結論にも現れ、VERAは自由形式のLLM審査が見逃す推論誤りの87%を検出したとされる。
説明フーリエ界を超える明示的な非線形関数：構成と限界
要約本論文は、どのアフィン写像ともできるだけ一致しない高非線形なベクトル値写像F: F_2^n → F_2^mの構成を研究する。bent関数とフーリエ解析に基づく従来の方法では、一致点数の上界は2^{n/2}の程度にとどまっていた。本論文は任意のγ>0に対してm=O_γ(n)とし、一致点数の上界を(1+γ)^nとする構成を示す。次数dの多項式からなるm組との一致の問題にも同様の評価を与え、従来はGowersノルムに基づく評価が最良であった。手法は代数的計数と、辺数と独立集合がともに小さいグラフ・超グラフの組合せ論との新たな関係に基づく。
注目点多項式方程式系の計数と新たな関係を用い、フーリエ限界を超えて一致数を(1+γ)^nまで改善した点が新規性と厳密さの根拠。
説明電子透かし：不可能性から監査可能なコンプライアンスへ
要約本論文は、EU人工知能法第50条(2)項が生成システムの出力に機械可読性と検出可能性を求めている点を取り上げ、自由形式テキストについては強い電子透かしが適応的な除去に対して不可能であることを指摘する。著者らは、記述長に基づく頑健性指標と有限サンプル境界、さらに誤帰属と誤除外の水準を分けたラベル条件付きコンフォーマル予測集合による監査可能な代替案を提案する。小規模な再現可能なシミュレーションで主張を検証している。
説明多項式環上の中国剰余定理に基づく理想秘密分散方式の一類に対する暗号解析
要約本論文は、Yang、Zhu、Fu、Xia が ISIT 2026 で提案した区画型秘密分散方式を分析したものです。この方式は多項式環上の中国剰余定理に基づき、理想的であると主張されていました。著者らは、秘密を復元できる非認可部分集合の三つの族を示し、退化したパラメータの場合を除き、方式は安全ではないと述べています。欠陥は、公開されたすべての多項式を安全性解析で考慮していない点にあります。同じ第一著者による階層型方式（ISIT 2024、2026）にも類似の欠陥があるとされています。
説明MiniSHAKE：より小さい置換幅を用いる Keccak の派生方式
要約本稿は、Keccak-p[800, n_r=12] 置換を用いる Keccak のインスタンス群を MiniSHAKE として定義する。現在標準化され実用されている Keccak の大半は Keccak-f[1600] またはその縮約ラウンド版を用いている。非常に短いメッセージを大量にハッシュする場合には、より小さい置換幅が有利になるとしている。
説明統一的な悪用モニタリングベンチマークに向けて
要約本論文は、マルチアクター環境で動作するLLMエージェントに対する2種類の悪用、すなわち有害な要求を無害な下位要求に分割する分解攻撃と、侵害されたツールが悪意ある指示を届けるプロンプトインジェクション攻撃を扱う。著者らは、エージェントの応答（行動）を監視し、監視器が危害を特定した最初の時点が危害ウィンドウ内に入るかを評価する手法を提案し、約6,200件の対話記録からなるベンチマークを構築した。17の監視器構成による評価では、行動ベースの監視器が両脅威で従来指標のAUCにおいて0.95と0.99を示した一方、内容ベースの監視器はインジェクション攻撃でAUC 0.52にとどまった。
説明SatBleed：小型衛星における市販通信モジュールのセキュリティ
要約本論文は、小型衛星で広く使われている市販（COTS）通信サブシステム・モジュールについて、初めて詳細なセキュリティ評価を行ったものです。通信サブシステムを標的とする攻撃の脅威分類を構築し、複数ベンダーの代表的な通信システムを分析して、ファームウェア、プロトコル、アーキテクチャ設計に深刻な脆弱性があることを明らかにしています。オープンソースのテレメトリデータと照合した結果、少なくとも28の軌道上ミッションが乗っ取りのおそれがあると推定されています。
説明DP-ES：プロンプト最適化のための差分プライバシー進化戦略
要約本論文は、トークン単位で構築する差分プライバシー（DP）型プロンプト最適化手法（DP-OPT）が厳しいプライバシー予算の下で不安定になることを指摘します。著者らは、完全なプロンプトの集団を維持し、非公開データにアクセスしないLLM呼び出しで変異させ、プライバシーコストはガウスノイズ付き評価のみに使う DP-ES を提案しています。保守的なプライバシー保証の下で、GSM8K などのベンチマークで高い精度を示し、実行時間も短縮されました。ただし、実際の機密性の高い運用データでの端対端検証は今後の課題としています。
説明加法的正値アキュムレータにおける証人更新のトレードオフ構造
要約本論文は、増え続ける集合を短い公開ダイジェストで表し、各要素に所属証人を持たせる加法的正値アキュムレータを扱います。新しい要素が挿入されると古い証人の更新が必要になる場合があり、その更新パターン全体の構造を特徴付けています。主結果として、このトレードオフを有界右深さの順序付き二分木上の最適化に帰着させ、同じ木の族が下界と構成的実装の両方を支配することを示しています。
注目点見届更新のトレードオフを有界右深さの順序付き二分木の最適化に帰着させ、既存の最大・総更新下界を統一し構成も与える。
説明修復中にセキュリティが最初に崩れた箇所はどこか：エージェント型脆弱性修復における「サイレント失敗」の起点を特定する
要約本論文はSAGE（Security Awareness Gap Evaluation）という手法を提案し、各ターンで記録されたセキュリティ上の推論と再構成したコード履歴から、修復がセキュリティ意図から逸脱した最初のターンを特定します。6つのエージェントフレームワークと6つの基盤モデルによる3,684件の修復トレースから得た95件の確認済みサイレント失敗を評価し、93件で起点を特定しました。
説明セキュリティはライブラリ呼び出し以上のもの：コード内でセキュリティ機能はどのように実装されるか
要約本論文は、9つの大規模で人気のあるオープンソースJavaシステムを対象とした採掘研究である。約212万行のコードを手作業で調べ、54種の分類に対応する561件のセキュリティ機能、計183,395行の実装を特定・注釈した。規模、分散（スキャッタリング）、絡み合い（タングリング）、実装パターン、内部・外部機能の利用などを分析した。その結果、セキュリティ機能は外部ライブラリの単純な呼び出しにとどまらず、大規模化し、コードベース全体に分散し、互いに絡み合うことが示された。外部のセキュリティライブラリは広く使われるが、統合には多くのコードが必要である。
説明学習データ抽出攻撃の言語横断的な転移：記憶された個人識別情報の復元
要約本論文は、大規模言語モデルが非英語のプロンプトによって、学習データ抽出（TDE）攻撃を受け個人識別情報（PII）を復元されてしまうかを検証しています。ソーシャルメディアのアカウント、メールアドレス、電話番号を含む多分野のデータセットを構築し、攻撃文脈をイタリア語、スペイン語、フランス語、ドイツ語に翻訳して評価しました。翻訳されたプロンプトでも攻撃は成功し、多言語モデルほど他言語での漏えいが増えることが示されています。また、同じプロンプトの異なる翻訳は中間層で類似した表現に結びつくと報告されており、言語に依存しない無害化策が必要だと指摘されています。
説明最適化LLLアルゴリズム：直交化に依存せず計算量を削減した格子基底簡約法
要約本論文は、LLL格子基底簡約アルゴリズムの二つの欠点を改善する。標準的なサイズ簡約の変換は長さが増えないことを保証せず、Lovász条件も隣接するベクトルの長さの順序を保証しないため、最初のベクトルが他より長くなったり、さらに短縮できるベクトルが残ったりする可能性がある。著者らはグラム・シュミット直交化に依存しない最適化LLLアルゴリズムを提案し、計算量をO(n^4)からO(n^3)に削減したうえ、確率的議論により多項式時間で動作することを示している。
説明PRA-TLS：TEEエンクレーブを呼び出すクライアントアプリケーションのための遠隔認証プロトコル
要約本論文は、エンクレーブを呼び出すクライアントアプリケーションを検証するための認証プロトコル「PRA-TLS」を提案している。信頼された守護プロセスがランタイムにホスト環境とアプリケーションコードの状態を測定し、その結果を認証証拠としてリモートの検証者に提供する仕組みである。ソフトウェア環境が想定どおりでアプリケーションコードが正当と確認された場合にのみ、エンクレーブが処理を継続する。著者らは攻撃モデルとセキュリティ要件を定義し、Tamarin Proverで形式的に安全性を評価するとともに、Intel SGXを用いたプロトタイプを実装して性能を評価している。
説明完全準同型暗号に基づく1ラウンド閾値 XMSS および SPHINCS+ 署名
要約本論文は、ハッシュベースの耐量子署名方式 XMSS と SPHINCS+ を分散環境で利用するため、閾値化が難しいという課題に取り組んでいます。秘密鍵を署名者間で共有し、閾値完全準同型暗号の下で署名アルゴリズムを準同型に評価することで、任意の t-of-n 参加者が閾値復号により、無修正の RFC 8391 または FIPS 205 検証器で受理される署名を生成できます。論文によると、オンラインでの閾値 XMSS 署名は約 0.69 秒で完了し、SPHINCS+ は署名遅延が約2桁大きい一方、セットアップ遅延は XMSS より一桁以上小さいとされています。
説明RISC-V 上での効率的な HQC 実装：クロスレイヤー設計空間の探索
要約本論文は、標準化に選定された耐量子鍵カプセル化方式 HQC を RISC-V 上に実装する際の設計空間を調べたものです。パラメータ化可能なアーキテクチャ枠組みを提案し、FPGA 上で HQC の 3 つのセキュリティレベルすべてにわたる 29,920 通りの構成を評価しています。原文によると、パレート最適な構成は既存の RISC-V 実装より優れ、LUT 使用量と遅延の間でトレードオフを示し、ブロック RAM は最大 10.6 分の 1 に削減できるとしています。
説明スパースオートエンコーダへのバックドア埋め込み：言語モデルに挿入される改ざん可能な部品
要約スパースオートエンコーダ（SAE）は、言語モデルの解釈だけでなく内部表現への介入にも使われるようになっています。本研究は、悪意で改変したSAEを言語モデルの順伝播に挿入すると、モデル本体を変えずに攻撃者の望む挙動を引き起こせることを示します。コード生成を事例に、3つのモデルと複数の挿入層で、要求されていないコードが高い割合で挿入されることを確認し、プロンプトの合図に依存して発動するトリガー型の挙動も報告しています。改変したSAEはHumanEvalと一部のSAEBench指標で評価され、強いバックドア挙動が一般的なSAE品質指標の小さな変化と両立しうるとされ、SAEをセキュリティ上重要な部品として扱うべきだと論じています。
注目点スパースオートエンコーダを対象とした新たなバックドア攻撃の脅威を示し、デコーダのみの改変で悪意あるコード挿入を誘発。3モデルで検証。
説明側路攻撃対策を備えた面積効率の高い耐量子暗号HQCのハードウェア構成
要約本論文は、耐量子暗号の鍵カプセル化方式HQC（ハミング準巡回符号に基づく方式）向けに、資源効率が高く定時間で動作するハードウェア構成を提案する。解復号の際に遊休状態のKECCAKハードウェアを再利用して動的な消費電力を生成し、秘密情報に依存する電力相関を攪乱する。対策回路の面積オーバーヘッドは0.5%未満である。Artix-7 FPGA上の試作では最大139 MHzで動作し、NIST既知解答テストで機能の正しさを確認し、TVLA評価では側路漏えいの明確な抑制が示されている。
説明H-CRSPV：後期バインドされた大規模言語モデルのリリースにおける意味的欠落の防止
要約本論文は、大規模言語モデルのリリース過程で登録された全要件が実際に満たされているかを検査する、H-CRSPVという複製型の受理レイヤーを提案している。提出された個々のオブジェクトが有効であっても、リリース全体が要件を満たすとは限らないという問題を「有効な証拠の下での意味的欠落（SOVE）」と呼んでいる。36件の欠落サンプルでは、提出オブジェクトのみを検証する方式がすべて受理したのに対し、H-CRSPVはすべて拒否し、正当な6件のリリースはすべて受理した。
説明確率的リーク モデルによる深層学習ベースのサイドチャネル解析におけるリーク伝播の可視化
要約深層学習はプロファイル型サイドチャネル解析（SCA）の主要な手法となっていますが、深層ニューラルネットワークはブラックボックス的であり、評価者は各層がどの情報を抽出しているかを把握できません。本論文は、モデルに依存しない枠組み GlimpseDNN を提案し、確率的リークモデルを用いて、ネットワークが物理リークトレースから鍵を回復するまでの過程を層ごとに可視化します。シミュレートされたトレースや ASCADf、ASCADr、ASCADf_desync50、ASCADf_desync100 などの公開データセットで検証され、元のトレースで捉えられなかったリークも、学習済みネットワークの深い層で発見できることが示されています。
説明低複雑度擬似ランダム関数の線形テストに対する稀少事象の無相関化
要約本論文は、低深度回路と秘密の線形・アフィン写像で構成される擬似ランダム関数が線形テストに耐えられるかを検討し、先行研究で未解決だった二つの問題に結論を与えます。著者らは稀少な局所事象に基づく相関の議論を用い、繰り返しのCauchy–Schwarz不等式により、元の相関を、より稀少な事象の指示関数のパリティ相関へと帰着させます。Ball らの候補については任意の多項式個の非適応的線形テストに対する耐性を示し、Boyle らのSipserベースの弱擬似ランダム関数族については準多項式個のサンプルの範囲で線形攻撃への耐性を示しています。
注目点希少な局所事件に対する繰り返しCauchy-Schwarz還元により、二つの未解決の線形攻撃耐性問題を解決し、明確なバイアス境界を与えている。
説明暴走反応：良性スキルの組み合わせが悪意ある振る舞いを生む仕組み
要約本論文は、個別に安全審査を通過した良性のエージェントスキルでも、組み合わせると悪意ある振る舞いを引き起こしうることを示しています。複数スキルの実行による構成的リスク誘導手法CRIMEを提案し、悪意シナリオの分解、暴走反応の誘導、サンドボックスでの検証の3モジュールで構成されます。あわせて、8種類のサイバーセキュリティ振る舞いを対象とする公開スキル4,000件のベンチマークを構築し、組み合わせによる脆弱性を評価しています。
注目点個別に審査を通過したスキルの組み合わせでも悪意ある振る舞いが生じることを示し、CRIMEとの4,000スキルのベンチマークを提案。新規性は高いが、摘要では実験の詳細が限定的。
説明BOLT-FHE：オンチップ局所タイリングによるGPU向けTFHEブートストラッピングの統一フレームワーク
要約本論文はBOLT-FHEを提案する。これはGPU上のTFHEブートストラッピング向けフレームワークで、ブロック内局所実行、オンチップタイリング、およびNTT/INTT・外部積・アキュムレータ更新を融合した統一MegaKernelにより、ビット単位の完全準同型暗号におけるブートストラッピングのスループット向上を目指す。NVIDIA RTX 4090上で128ビット安全性において毎秒40,166回のブートストラッピングを達成した。gadget分解では、State-of-the-artのGPU実装VeloFHEに対して1.85×–2.92×の高速化を示し、モジュラス上昇ではCMパッキングの有無により約2.38×–2.42×および3.17×–3.31×の改善が報告されている。
説明妥協は結果ではない：ペアリプレイによるLLMエージェントのタスク限定認可の評価
要約本論文は、悪意ある指示に従わされても資格情報が有効なままのツール利用型LLMエージェントにおいて、タスク単位の認可が有害なツール実行を抑えられるかを検討します。同一のモデル要求を広い権限のベアラー、スコープ付きJWT、送信者制約付き、Open Policy Agentの各条件に同じ操作として送り比較しています。スコープ付き条件では試験対象の跨動作・跨リソースの結果は確認されませんでしたが、プロンプトインジェクションそのものの防止を示すものではありません。
説明触覚インターネットのセキュリティ向け適応ショット数ハイブリッド量子異常検知：資源制約下の信頼性考慮型測定割当
要約本論文は、触覚インターネット（TI）のセキュリティ分析において、信頼できる閾値判定と計算・測定資源の制約とのバランスを扱います。適応ショット変分量子回路（AS-VQC）方式を提案し、各レコードを128ショットから開始し、異常スコアが検証で選ばれた閾値に近い場合のみ256、512、1024ショットへと段階的に増やします。CESNET-TimeSeries24由来の4,875件のベンチマークで評価したところ、主方式は固定1024ショットに比べ約73％から87％のショットを節約しました。一方で、決定の安定性は固定1024ショットの方が高いと報告されています。
説明有界な暫定可視性：継続的に取り込まれるRAGベクトルストアにおける汚染露出の制御
要約継続的な取り込みにより、検証完了前の新しい検索拡張生成（RAG）コンテンツが検索可能になる時間的な攻撃面を扱います。本論文は、期限付きで新規コンテンツを許可し、期限内に検証が確定しない項目を隠す、フェイルクローズドな暫定可視性プロトコルを提案します。検証バックログ下では、期限の導入により投毒された検索結果の中央値が34件から7件に減少したと報告されています。
説明IoTネットワーク向けオンラインAutoMLにおける、コスト効用型敵対的学習防御へのポイズニング攻撃の評価
要約本論文は、IoTネットワークのストリーミング環境でオンラインAutoMLパイプラインを用い、ラベル反転とノイズ注入によるポイズニング攻撃に対する敵対的学習（AT）防御の有効性を評価したものです。ストリーミング対応の複数の学習器で実験を行い、最大の汚染率（PR=1.0）において、ラベル反転攻击に対してはAT-SRPがF1スコア0.904で最も高く、ノイズ注入攻撃に対してはAT-LBがF1スコア0.933で最も高い結果を示しました。
説明Agentic-ZTA：自律的ゼロトラスト実施のためのマルチエージェント構造
要約本論文は、エージェント型AIに基づくゼロトラスト構造Agentic-ZTAを提案しています。NIST SP 800-207の制御ループを、複数のエージェントが連携する意思決定パイプラインとして実装しています。検索拡張生成によって関連ポリシーを取得し、信頼スコアを集約して最終的なアクセス判定を行います。テスト環境での評価では、正解率95.0%、適合率93.9%、再現率96.3%を報告し、AIエージェントによるゼロトラスト実施の実現可能性を示しています。
説明GPU支援によるFAEST v3署名：チャレンジ探索とCPU–GPUパイプライン化
要約本論文は、GPUを用いてFAEST v3の署名を高速化する方法を扱う。GPUが連続するカウンタ範囲の候補を並列に絞り込み、CPUが増加順に最終的な受理判定を行う。元の手順で選ばれる最小の受理カウンタと結果の署名が一致することを確認している。複数の独立した署名では、CPUとGPUを交互に使う二状態スロットの流水線を構成している。GPU支援の効果は、パラメータセットや、単一署名の遅延と複数署名のスループットのどちらを対象とするかによって異なることが示されている。
説明CCSDS TC/TM リンク上の PQC ベース空中リキーイングにおける処理時間の影響
要約本論文は、CCSDS の遠隔指令およびテレメトリリンクで耐量子暗号（PQC）ベースの空中リキーイングを評価する際、端末の処理時間を無視すると結果にどう影響するかを検討しています。SDLS 鍵更新の P1–P2–P3 交換を伝送モデルに実装し、処理時間ゼロの基準モデルと、実測の処理時間を用いたモデルを比較しました。その結果、最終的な伝送結果、イベント経路、タイミング、接触時間などの点で差異が条件によって異なり、成功か失敗かだけで影響を判断することはできないと報告しています。
説明国家・公共機関データ向けN2SFに基づくポスト量子暗号移行フレームワーク
要約本論文は、国家ネットワークセキュリティフレームワーク（N2SF）の保護要件と、データの暗号依存関係および運用状態に基づき、国家・公共機関のデータに対するポスト量子暗号（PQC）移行の判断基準を提案している。この基準は、ペイロードの保持、鍵の再ラップ、再暗号化、通信の移行、署名の更新を区別し、必要な作業と実行を許可・保留・拒否する判断を分けて扱う。参照実装による試験では、対応条件の下で基準の実現可能性が示されたが、機関による承認、本番環境の鍵管理、長期保存の継続性は未検証である。
説明Cortex-M85 向け X-Wing のアーキテクチャ対応実装と端から端までの評価
要約本論文は、ML-KEM-768 と X25519 を組み合わせたハイブリッド鍵確立方式 X-Wing を Cortex-M85 プロセッサ上で実装した研究です。NTT、データ形式変換、X25519 演算をこのプラットフォーム向けに最適化し、ベースライン実装と鍵生成、カプセル化、復号の周期数を比較しています。不揮発性メモリの増加も報告されており、秘密値に依存する演算数選択を修正した変種についても検証結果が示されていますが、一部のテストで時間差の信号が残り、プログラム全体が定数時間であるとは主張していません。
説明ARMv8 NEON 上のバッチ型 LSH と K-SPHINCS+ への応用
要約本論文は ARMv8-A 上で、既存の LSH 最適化手法三種を手書きの AArch64 NEON アセンブリで再実装し、ポスト量子署名の高速化に効くかを検証したものです。単一メッセージの NEON 実装は clang -O3 でコンパイルした KISA の C コードより速くならず、複数メッセージを同時に処理するバッチ方式のみが LSH-256 で速度向上を示しました。これを基に、四メッセージ LSH バッチを組み込んだ K-SPHINCS+ を構築し、全バックエンドで署名バイト列が一致することを確認しています。128 ビットパラメータでは参照実装より約 2.5〜3.2 倍速く署名できると報告しています。
注目点LSHの多メッセージNEONバッチ処理をK-SPHINCS+に統合し既存最適化を実質的に組み合わせた。2,063のKATと差分テストで六つのパラメータを検証し、C参照実装やSHA-256/SHAKE256基準と比較して2.5〜3.2倍の高速化を示す。
説明Apple M1 向け MAYO の NEON 最適化実装
要約MAYO は、NIST の追加の耐量子署名方式公募の第三ラウンド候補の一つです。本論文は、Apple M1 向けに MAYO 第三ラウンド仕様の NEON 最適化実装を提示し、同じ機器で上流の NEON コードと比較しています。署名は中央値で上流の約 2 倍の速さとされ、検証も約 2 倍以上と報告されています。測定はすべて同一の M1 Pro で行われました。
説明同型暗号による異常検知の出力ポリシー：閾値推定、判定の保持、数値安定性
要約本論文は、同型暗号下で異常スコアを計算する際、出力ポリシーが数値的な閾値情報の漏えいを抑えつつ既存の判定を保てるかを検証しています。三つの侵入検知データセットと三つのスコアリングモデルを用いた実験結果から、数値閾値の保護と判定予測の防止は別個の目標であることが示されています。
説明準同型暗号計算の検証における、検証者に整合した正準ソース束縛手法
要約準同型暗号の前処理検証と計算検証は、それぞれ成功しても両者の結果が同一の正準ソースを指すとは限らない。本論文は、異種の認証済み成果物を単一の正準ソース関係に結びつける、検証者に整合した公開入力転送手続きを提案する。完全規模（524,288係数、128ブロック、4,096チャンク）で実装され、重複計算の共有により制約数は33.53%、証明時間は31.10%削減された。一方、公開データの88.44%は三つの上流証明成果物が占めている。
説明HyBind：PQ/T ハイブリッド暗号の利用に関する構造解析
要約本論文は、登録済み API 契約に基づいて Python ソースコードを手続き内で解析する HyBind を提案しています。耐量子型と従来型アルゴリズムの出力が鍵や検証結果を共同で決めているかを判定し、署名受理に両方の検証器の成功が必要かを確認します。評価では、共同寄与と寄与の欠落、AND と OR の検証構造を区別できることが示され、個々の従来型呼び出しが PQ/T ハイブリッドに関与しているかを検討する根拠が提供されています。
説明SimpleMark：f ダイバージェンス制約下での高速な多ビット テキスト透かし
要約本論文は、基礎となる言語モデルの分布からの f ダイバージェンスによって安全性を直接定義する多ビット テキスト透かしの枠組みを提案します。全変動距離や KL ダイバージェンスなどを扱えるとしています。符号化に基づく手法で、指定されたダイバージェンス予算の下で次トークン分布を最適に調整し、埋め込み率、復号の信頼性、統計的安全性の間のトレードオフを示します。実験では、既存の多ビット透かし手法より透かしの検出されやすさが大幅に低く、メッセージ復元性能と生成品質も競争力を保つと報告されています。
説明KOALAとiOに基づく公開コイン型差分入力難読化
要約本論文は、Hair と Sahai が最近提案した見透かし暗号（witness encryption）の構成が、直交性知識仮定（KOALA）のもとで公開コイン型の抽出可能な見透かし暗号方式であることを示しています。この結果から、KOALA と不可識別性難読化（iO）を用いて公開コイン型の差分入力難読化（diO）が直ちに得られると述べています。
説明Linux における eBPF を用いた乱数アンカー型ランタイム暗号操作検出
要約本論文は、Linux 上で古典的および耐量子暗号の操作を実行時に検出するシステムを提案しています。eBPF のユーザー空間プローブを用い、乱数の観測を時間的な目印として同一プロセス内の後続の暗号呼び出しと関連付け、信頼度付きのイベントを生成します。API 検出は古典およびML-KEM の負荷で完全な精度と再現率を示し、乱数アンカーは誤検出を増やさず信頼度を高めました。中央値の検出遅延は 28 マイクロ秒です。
説明TLS 1.3 における役割別の署名配置：コスト伝播と耐量子移行
要約本論文は、TLS 1.3 で 13 種類の署名パラメータを根・中間・葉の各証明書の役割にどう割り当てるかによって、認証コストがどう変わるかを検討しています。アルゴリズムの組み合わせを固定し役割の順序のみを変えて、13³ 通りのすべての配置を評価しました。その結果、役割の配置だけで TLS 遅延に約 2 倍、証明書サイズや経路検証コストに 4 倍超の差が生じることが示されています。
説明無人システムのコマンド認証向け耐量子暗号：リアルタイム性と帯域制約下での KpqC 実現可能性研究
要約本論文は、無人機や無人車両の指令・認証チャネルを耐量子暗号（PQC）へ移行する問題を扱います。韓国の耐量子暗号規格 KpqC（HAETAE、AIMer、SMAUG-T、NTRU+）を ROS2/DDS-Security の認証および鍵確立の流れに適用し、NIST 規格と従来の ECDSA/ECDH と比較しています。統一された試験環境で、制約された模擬リンク上の認証ハンドシェイクを測定し、各候補がどの指令チャネル予算で使えるかの指針を示しています。
説明ネイティブ Rust 版 KpqC の展開：TLS、宇宙リンク、OQS エコシステムにおけるプラガブルな耐量子 KEM と署名
要約韓国の耐量子暗号（KpqC）コンペティションで標準化された方式を、メモリ安全なネイティブ Rust 実装として、統一的なプラガブルインターフェースを通じて rustls の TLS 1.3、OQS 互換の C ABI、衛星の制約付きリンクモデルの三つの展開環境に組み込んだ研究です。TLS 1.3 のエンドツーエンドのハンドシェイク、Rust 実装を呼び出す C プログラム、例示的な LEO/GEO リンクプロファイルに基づく分割と遅延の分析を示しています。また NTRU+ のメモリ最適化版を提供し、測定可能な時間コストを増やさずにピークスタックを最大 25% 削減したと報告しています。
説明TLS 1.3 ハイブリッド方式における古典－耐量子コンポーネント対の並列実行効果の測定
要約本論文は、TLS 握手の暗号処理を対象に、ハイブリッド鍵交換と Composite ML-DSA 署名の古典コンポーネントと耐量子（PQC）コンポーネントを 2 つのスレッドで同時に実行した場合、逐次実行より遅延が減るかを測定している。ARM と x86 の環境では 6 条件すべてで並列実行が速く、高速化率はおよそ 1.04～1.28 倍であった。一方、低消費電力の x86 環境では同じコードが全条件で遅くなり、スレッドの起動と待機の負荷が短縮分を上回ったと報告している。
説明Cortex-M0+・Cortex-M3 向け RSA のモンゴメリ演算最適化
要約本論文は、資源の限られた小型プロセッサ上で RSA 秘密鍵演算を高速化するため、モンゴメリ乗算と二乗を最適化したものです。15 ビットのリム表現を用い、中国剰余定理（CRT）に基づく RSA-2048 と RSA-3072 の処理に組み込んでいます。M0+ と M3 のいずれでも、対照実装と比べて特定のビット幅で演算サイクルが減少し、内核を置き換えた CRT 演算のサイクル数も低下したと報告しています。
説明LWEに基づく擬似ランダム符号
要約擬似ランダム符号（PRC）は、秘密鍵を持たない人にとって符号語が一様乱数のように見える誤り訂正符号です。本論文は、学習誤り問題（LWE）に基づく新しい構成を提案します。符号語は、LWEサンプルの1ビット丸めに乱数列をマスクしたものです。Christ and Gunn のPRCのLWE版にあたり、標準LWEと planted t-SUM 仮定、または劣指数的LWE仮定の下で成り立ちます。丸め操作は線形でないため、頑健性はフーリエ解析を用いて証明されています。
説明視覚的グラウンディングの安全性：座標出力時に視覚言語モデルが拒否できるかを検証する研究
要約本論文は、視覚言語モデルが点や境界ボックスなどの位置情報を出力する場合の安全性アラインメントを検討しています。3つの安全性ベンチマークを基に、自由記述の回答と位置出力の形式だけが異なる15,401組の有害リクエストを作成しました。多くのモデルは質問形式の有害リクエストを拒否する一方、位置出力を求められると応じてしまうことが多く、安全システムプロンプトでもこの差は埋まりませんでした。著者らは、拒否データと良性データを組み合わせたファインチューニングによって位置出力時の拒否率が向上することを示しています。
説明AgentDoxx：ウェブ検索を用いた匿名化テキストの再識別に関するエージェント型研究
要約本論文は、実在人物の公開情報に基づく822件の合成インタビュー記録からなる評価スイートAgentDOXXを提案する。十五種類の設定を評価し、ウェブ検索の効果と、検索による特定と内部知識による特定を区別して分析している。検索なしでも一部のオープンウェイトモデルは15〜28%の記録を特定できた。プライバシー指示は氏名の出力を抑えるが、検索自体は抑止できないとしている。
説明Plotkin攻撃！非同期検証可能情報分散におけるRaptor符号の誤用について
要約本論文は、非同期検証可能情報分散（AVID）プロトコルで、Raptor符号（R10およびRaptorQ）による符号化を後から再構成する設計パターンの安全性を検証しています。ビザンチン参加者がどの断片を保持するかを選べる状況で、メッセージを復元できない「悪い」部分集合が存在することを示し、その構成にPlotkin界を用いています。また実装による実験とベンチマークを示し、本条件ではReed-Solomon符号の性能がRaptor符号と比べて大きく劣らないことを報告しています。
注目点Plotkin限界を用いて不良部分集合を構成し、Raptor符号の再構成型AVIDにおける誤用を示す。R10は明示的証明、RaptorQは実験で裏付けられ、影響は大きい。
説明単一の摂動を超えて：多属性メトリック差分プライバシーのための異種機構設計
要約本論文は、連続・カテゴリカル・二値の属性が混在し、属性間に強い依存関係を持つ多属性ユーザーレコードを対象に、DepHDPと呼ばれるメトリック差分プライバシー（mDP）の枠組みを提案します。属性を依存関係に基づいてグループ化し、各属性またはグループごとに摂動方式を選択します。選択肢はラプラス機構や指数機構などの既定機構と、最適化ベースの設計です。3つのケーススタディで、DepHDPは一律の基準手法よりプライバシーと有用性のトレードオフを改善し、評価した領域では全レコード最適化（OPT）より計算コストが低いと報告しています。
説明ステーク加重ネットワークにおける帯域均衡型の信頼性ブロードキャスト
要約本論文は、非同期ネットワークにおける信頼性ブロードキャストで、ステークに比例して断片を割り当てると最も重いバリデータが過大な中継転送を負担する問題を扱います。各バリデータに断片を1つずつ割り当てるBalanced CTとBalanced MiniCastを提案し、中継アップロードの上限を均等化します。さらに総中継量を抑えるCapped Swiperというヒューリスティックも示しています。
説明活性化だけで LLM を判断しない：反事実的活性化ポテンシャルで抑制された安全特徴を発見
要約本論文は、LLM の多数の非活性な成分にも有害な要求の拒否に因果的に関わる安全特徴が含まれており、既存の解釈ツールではそれが見えないことを示します。反事実的活性化ポテンシャル（CAP）という指標と、候補特徴を絞り込む二段階アルゴリズム CSFD を提案しています。実験では、候補特徴を消去すると有害なプロンプトへの拒否が服従に変わる場合があり、自然な脱獄では上位 CAP 特徴への抑制が強まることが報告されています。
注目点抑制された特徴のためのCAP指標と二段階の発見アルゴリズムを提案し、アブレーションと増幅実験で拒否への因果関係を示し、脱獄が安全特徴の抑制によって働く可能性を明らかにした。
説明照会回数制限付きRAMプログラムとその応用：制御された状態付き量子ワンタイム計算
要約本論文は、有界またはポリシーに基づくアクセス制御の下で状態を持つ計算を可能にする、量子ワンタイムプログラム（QOTP）のRAM拡張「照会回数制限付きRAMプログラム（QLP）」を提案しています。計算状態の分岐や巻き戻しを防ぐ仕組みを持ち、QLPは「ワンショットプログラム」から一般的に導けることを示しています。また、署名トークン型の原始と量子ワンタイムプログラムの関係も明らかにしています。
説明『毒された会話：統一マルチモーダルモデルにおける情報漏洩ウォーターマーク』：モデルが画像に隠れた検出可能な印を埋め込み、会話中の機微な情報を漏らす仕組みを説明する論文です。
要約本論文は、悪意のあるモデル提供者が過去のチャット履歴に応じて、後に生成する画像へ不可視でトリガー依存の「プライバシー漏洩ウォーターマーク（PLW）」を埋め込む手法を提案します。ユーザーがモデルをローカルで動かしていても、会話で言及された機微なキーワードが画像を通じて露見しうることを示します。13種類の機微属性トリガーと2つのモデル系統で評価され、1%の誤検出率でPLWの真陽性率は最大100.0%に達しました。
説明ビット単位最適暗号：一方向性から擬似乱数性と標的衝突耐性へ
要約本論文は、局所的に計算可能（NC^0 に属する）かつ指数的安全性を持つ暗号プリミティブを研究し、特に擬似乱数生成器と汎用一方向ハッシュ関数を扱います。NC^0 に属する任意の指数的安全な一方向関数から、このようなビット単位最適な擬似乱数生成器と汎用一方向ハッシュ関数を構成できることを示し、この設定ではこの三者が等価であることを明らかにします。そのために、疎化定理や入力局所性の削減などの構造的結果を提示し、従来の構成で必要だった正則性の仮定を取り除いています。
注目点NC^0の指数安全性を持つ任意の一方向関数から、ビット最適なPRGとUOWHFを構成し、正則性仮定を除いて三者の同値性を示す。理論的に新しく証明も完全だが、影響は理論分野に限られる。
説明AutoDP-LLM：大規模言語モデルによる侵入検知システム向けデータ前処理の自動化
要約本論文は、大規模言語モデル（LLM）を用いて実行可能なデータ前処理パイプラインを自動生成・検証するフレームワーク「AutoDP-LLM」を提案しています。意味的推論と学習から得た統計的根拠に基づき、事前の特徴量数の指定なしで保持する特徴量集合を適応的に決定します。UNSW-NB15およびNSL-KDDデータセットでの多クラス侵入検知実験では、従来の特徴選択手法と比べて競争力のある検知性能を示し、コンパクトな前処理パイプラインを自動生成できることを報告しています。
説明「反省と断片」：逐次的モザイク攻撃から大規模言語モデルを守る研究
要約本論文は、個々のプロンプトだけでは無害に見えても、複数ターンの対話を通じて組み合わさると有害な内容になる「モザイク攻撃」を扱っています。著者らは、安全に関わる情報を長期間保持するオンライン状態機構（watchman）を提案し、一定の仮定の下で有用性を保ったまま失敗ゼロの防御が可能であることを示しています。実験では、凍結したLLM上で攻撃者と防御者それぞれのLoRAアダプタを多ターンの自己対戦で学習させ、両役割の性能向上と未知の攻撃目標への改善が確認されたとしています。
説明トラップドア射影サンプリングとIDベース匿名ブロードキャスト
要約本論文は、有界な身份集合における匿名ブロードキャスト暗号を扱う。暗号文は消息と受信者集合の両方を隠す。著者らは、身份のハッシュとして射影公開鍵を先に固定し、トラップドアを用いて対応する秘密鍵を原像サンプリングする「トラップドア射影サンプリング」を提案する。k-LWE 仮定から構成され、受信者の公開鍵を公開せずに済む。また、静的腐敗の下で無界な身份空間へ拡張される。
注目点信頼できるトラップドア射影サンプリングを提案し、射影空間をm×2nまで縮小してk-LWE安全性を保ち、身元ベースの匿名放送を実現する。形式的な安全性証明で裏付けられている。
説明スパースMerkle更新のためのGKRプロトコルの機械検証済み健全性証明
要約本論文は、GKRプロトコルに基づく認証データ構造更新の証明について、Isabelle/HOLで健全性、算術化の正確性、葉のコミットメントの拘束性を機械検証しています。誤った出力主張に対し、多層のsumcheckが誤った結果を受理する確率の上界を (s_out + Σ(2 s_i d_i + 1))/|F| と示し、31ビットKoalaBear体の四次拡大で具体化して分母を約2^124としています。対象は公開コインの対話型プロトコルに限られ、Fiat-Shamir変換、知識健全性、ゼロ知識は含まれません。
説明文法誘導型コード透かしとグリーン温度（GTCW）の提案
要約本論文は、大規模言語モデルがコードを生成する際に検出可能な透かしを埋め込む手法GTCWを提案しています。各デコードステップで文法的に許容されるトークンに候補を絞り、鍵に基づいてグリーンとレッドの集合に分けます。高エントロピー位置では、モデルの相対的な選好に従いグリーンのトークンを重み付けします。5つのモデルと4種類のプログラミング言語にまたがる5つのベンチマークでの平均AUROCは73.61%で、最強のベースラインの67.83%を上回りました。平均Pass@1は59.18%で、透かしなしの59.58%をわずかに下回っています。
説明Red-TTT：大規模言語モデルの自動脱獄のためのテスト時学習手法
要約この論文は、大規模言語モデルへの脱獄攻撃に対し、Red-TTTという手法を提案しています。攻撃中に各対象の行動ごとに攻撃者のパラメータを更新し、各ラウンドで被攻撃モデルの応答に基づく方策勾配ステップを行います。また、評価を平均ではなく最良のサンプルで行う目的関数に調整しています。120サンプルの予算でBest-of-Nベースラインに対し、平均攻撃成功率を55.9%から72.4%に引き上げたと報告されています。
注目点攻撃中にパラメータを更新するテスト時学習を自動ジャイルブレイクに導入し、120サンプルでBest-of-Nの55.9%から72.4%へ改善。
