論文の概要: What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs

• arxiv url: http://arxiv.org/abs/2606.04443v1
• Date: Wed, 03 Jun 2026 04:46:17 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-04 20:44:18.546005
• Title: What Can Verifiable Decapsulation Tests Certify? Pass Bounds and Fault-Recognition Limits for FO-Based KEMs
• Title（参考訳）: 証明可能なカプセル化テストは何か? FOベースのKEMにおけるパス境界とフォールト認識限界
• Authors: José Luis Delgado Jiménez,
• Abstract要約: 藤崎・岡本脱カプセル化のブラックボックス試験では, ハーネスが観察した検体を観察した。 本報告では, 信頼度向上型KEM変種について, 誠実な参照手法を用いて検討する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Black-box tests for Fujisaki-Okamoto decapsulation observe the sampled execution seen by the harness, whereas the reencryption computation itself is visible only through the values that reach final key derivation. We study confirmation-code-augmented KEM variants under an honest-reference harness in which the reference encapsulation fixes a hidden final-key point $\langle good,B,W\rangle$, with $W$ the confirmation witness. For a $q$-localized system under test, acceptance is bounded by honest correctness error, adversarial aliasing, final-key freshness defects, a hit on the localized suffix list $Q_G(B)$, and $2^{-κ}$. A one-query construction from any predictor of $W$ matches this bound up to the fresh-key coincidence term, so the list-hit event is the black-box obstruction measured by the harness. The list-hit term is bounded either by a cUP-faithful harness certificate, which transfers source confirmation-code unpredictability with a $q$-loss, or by an average conditional min-entropy bound, with separate RawEnt and TailEnt hypotheses for short diagnostic and truncation-tail codes. The same model proves a dependency-cone lower bound for non-certification claims. When the black-box observation of an honest-support harness factors through the confirmation-observable final-key target, every operation outside the support-active cone has a coupled erasure implementation with the same transcript distribution; over any implementation class containing that erasure, soundness and completeness errors of an execution certifier satisfy $α+β\ge 1$. The ML-KEM and HQC case studies distinguish theorem-covered positive rows, finite-catalog artifact rows, and non-certification rows that carry a cone-inactivity certificate. The security of the standard KEM lines is the construction-level security supplied by the cited source analyses.
• Abstract（参考訳）: 藤崎・岡本脱カプセル化のためのブラックボックステストでは、ハーネスで見られるサンプル実行が観察される一方、再暗号化計算そのものは最終鍵の導出に到達した値によってのみ可視である。 そこで,本論文では,参照カプセル化が隠れたファイナルキーポイント$\langle good,B,W\rangle$を,確認証人に対して$W$で固定する,正直な参照ハーネスの下で,確認コード拡張KEM変種について検討する。 テスト中の$q$ローカライズされたシステムでは、受け入れは正直な正当性エラー、逆のエイリアス、ファイナルキーのフレッシュネス欠陥、ローカライズされた接尾辞リストの$Q_G(B)$、$2^{-κ}$で制限される。 W$の予測子からの1クエリ構成は、新しいキーの偶然の項と一致するので、リストヒットイベントはハーネスによって測定されるブラックボックスの障害である。 リストハイト項は cUP-faithful ハーネス証明書によってバウンドされ、$q$-loss でソース確認コードの予測不可能を転送するか、RawEnt と TailEnt の2つの仮説で、短い診断とトランニケーションテールのコードに対して平均的な条件付きエントロピー境界によってバウンドされる。 同じモデルは、非認証クレームに対する依存性コーンの低いバウンドを証明している。 確認可能なファイナルキーターゲットを介して、正直な支持ハーネス因子のブラックボックス観察を行うと、サポートアクティブコーン以外の操作は、同じ転写分布と結合した消去実装を持ち、実行証明器の消去、健全性、完全性エラーを含む実装クラスは、$α+β\ge 1$を満たす。 ML-KEMとHQCのケーススタディは、定理で覆われた正の行、有限触媒アーティファクト行、およびコーン不活性証明書を持つ非認証行を区別する。 標準KEMラインのセキュリティは、引用されたソース分析によって提供される建設レベルのセキュリティである。

関連論文リスト

• MEMSAD: Gradient-Coupled Anomaly Detection for Memory Poisoning in Retrieval-Augmented Agents [0.0]
  検索強化エージェントに対するメモリ中毒攻撃を,統合評価フレームワークを用いたStackelbergゲームとして定式化する。 ASR-R: 0.25〜1.00$) による攻撃成功度を4倍に向上させる。 私たちの主な貢献は、勾配結合に接地したキャリブレーションに基づく防御であるMEMSADである。
  論文  参考訳（メタデータ） (2026-05-05T08:15:41Z)
• Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
  そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。 各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。 これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
  論文  参考訳（メタデータ） (2026-04-20T13:25:40Z)
• Conformal Tradeoffs: Guarantees Beyond Coverage [0.02648566468224904]
  配置されたコンフォーマル予測器は、有限操作ウィンドウ上で稼働する長期間の意思決定基盤である。 マージのカバレッジは、デプロイメントに直面する量を特定しません。 私たちは、範囲を超えて運用の認証と計画のためのフレームワークを提供しています。
  論文  参考訳（メタデータ） (2026-02-20T07:58:25Z)
• Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers [90.50039419576807]
  RLVR(Reinforcement Learning with Verifiable Rewards)は、人為的なラベル付けを避けるために、自動検証に対するポリシーを訓練する。 認証ハッキングの脆弱性を軽減するため、多くのRLVRシステムはトレーニング中にバイナリ$0,1$の報酬を破棄する。 この選択にはコストがかかる:textitfalse negatives(正しい回答、FNを拒絶)とtextitfalse positives(間違った回答、FPを受け入れる)を導入する。
  論文  参考訳（メタデータ） (2025-10-01T13:56:44Z)
• Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification [0.0]
  我々は,機械的検証により数値忠実度を強制するプレゼンテーション層プロトコルであるtextbfProof-Carrying Numbers (PCN) を提案する。 PCNは軽量でモデルに依存しず、既存のアプリケーションにシームレスに統合され、暗号的なコミットメントで拡張できる。
  論文  参考訳（メタデータ） (2025-09-08T17:20:16Z)
• Instance-Optimal Quantum State Certification with Entangled Measurements [1.8416014644193066]
  我々は、テスタが完全に絡み合った測定を行うことができる場合、量子状態認証のインスタンス-最適境界をほぼ証明する。 我々はIngster-Suslina法による新しい量子アナログを用いて下界を証明した。
  論文  参考訳（メタデータ） (2025-07-08T14:15:46Z)
• Robust Conformal Prediction with a Single Binary Certificate [58.450154976190795]
  コンフォーマル予測(CP)は、任意のモデルの出力を、真のラベルを(調整可能な)高い確率でカバーすることを保証した予測セットに変換する。 我々は,MCサンプルが著しく低い場合でも,より小さな集合を生成する頑健な共形予測を提案する。
  論文  参考訳（メタデータ） (2025-03-07T08:41:53Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)

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

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