論文の概要: DM-RSA-OAEP: Formal Treatment of a Dual-Modulus Fault-Detection Countermeasure Based on Physical Diversity

• arxiv url: http://arxiv.org/abs/2610.26642v1
• Date: Mon, 19 Oct 2026 16:03:27 GMT
• ステータス: 情報取得中
• システム内更新日: 2026-10-21 06:56:25.762822
• Title: DM-RSA-OAEP: Formal Treatment of a Dual-Modulus Fault-Detection Countermeasure Based on Physical Diversity
• Title（参考訳）: DM-RSA-OAEP:物理多様性に基づく二重弾性欠陥検出対策の形式的処理
• Abstract要約: DM-RSAは,Hstadの攻撃によってオリジナルバージョンが破壊され,不正な妥協耐性のクレームを含む2つの独立モジュールを用いたRSA変種である。 i) 2ステップのハイブリッド引数によってランダムオークルモデルにおける完全なIND-CCA2セキュリティ証明を2段階のハイブリッド引数で処理し、より弱いRSA-OAEPインスタンスのセキュリティを、明示的なシミュレーション損失で上界にし、(ii)計算、鍵、鍵をカバーした明示的逆数モデルにおける欠陥検出定理を定式化する。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: We revisit DM-RSA, an RSA variant that uses two independent moduli, whose original version was broken by Håstad's attack and contained an incorrect compromise-tolerance claim. We give a formal treatment of its repaired variant, DM-RSA-OAEP: (i) a complete IND-CCA2 security proof in the random-oracle model via a two-step hybrid argument, upper-bounding the security of the scheme by that of the weaker underlying RSA-OAEP instance, with an explicit simulation loss; (ii) a fault-detection theorem in an explicit adversary model that covers computation, key, and verification faults, including safe-error attacks, under a clearly stated physical-diversity assumption; (iii) an explicit analysis of why the countermeasure degrades to uselessness when the diversity assumption is violated (common-mode faults on a single chip). We position the scheme against the countermeasure landscape and against the broken dual-modulus literature. The contribution is deliberately framed as a fault countermeasure with a provable detection guarantee, not as a computationally stronger RSA. We conclude with a concrete instantiation and a detailed measurement protocol.
• Abstract（参考訳）: DM-RSAは,Håstadの攻撃によってオリジナルバージョンが破壊され,不正な妥協耐性のクレームを含む2つの独立モジュールを用いたRSA変種である。 修復したDM-RSA-OAEPの正式な治療を行う。 i) 2段階のハイブリッド引数によるランダムオークレモデルにおける完全なIND-CCA2セキュリティ証明であって、より弱いRSA-OAEPインスタンスによるスキームのセキュリティを、明示的なシミュレーション損失で上界すること。 (二 計算、鍵及び検証欠陥を網羅する明示的逆境モデルにおける故障検出定理であって、安全エラー攻撃を含む。)明確に述べられた物理多様性の仮定に基づくもの 三 多様性の前提に反した場合(単一チップ上の共通モード欠陥)に、なぜその対策が無益に低下するかを明示的に分析すること。 本手法は, 対策景観と壊れたデュアルモーダルス文学に対して配置する。 このコントリビューションは、計算的に強いRSAではなく、証明可能な検出保証を備えた障害対策として意図的に構成されている。 具体的インスタンス化と詳細な測定プロトコルで締めくくります。

関連論文リスト

• Unconditional Security of Discrete-Modulated CV-QKD from Infinite-Dimensional MEAT [0.6999740786886536]
  DM CV-QKDプロトコルのコヒーレント攻撃に対する最初の完全構成可能な有限サイズセキュリティ証明を導入する。 その結果、鍵レートは既知のレートを回復し、集団攻撃に基づいて確立された有限サイズ境界を上回ります。 我々の研究は長年のギャップを埋め、厳格な構成可能なセキュリティ基盤の上に実験的に魅力的なCV-QKDプロトコルを配置する。
  論文  参考訳（メタデータ） (2026-09-14T18:00:00Z)
• MMD-Balls as Credal Sets: A PAC-Bayesian Framework for Epistemic Uncertainty in Test-Time Adaptation [0.0]
  テスト時間適応法は分布シフト時のモデル性能を向上させる。 テスト時間適応法は、シフトグレードと予測信頼性を接続する正式な保証を欠いている。 PAC-Bayesian framework yielding bounds explicit parameterized by the maximum mean discrepancy (MMD) between source and target distributions。
  論文  参考訳（メタデータ） (2026-05-20T22:22:20Z)
• Provable Robustness against Backdoor Attacks via the Primal-Dual Perspective on Differential Privacy [51.758416625168]
  ランダムな平滑化は、敵の摂動に対する堅牢性を証明するための強力なツールである。 本稿では,複雑な構成機構の認証のためのフレームワークを提案する。 複雑な脅威モデル下での堅牢性を証明するために複合メカニズムを使用するための原則的で一般的なフレームワークを提供する。
  論文  参考訳（メタデータ） (2026-05-20T22:17:29Z)
• Quantifiable Uncertainty: A Stochastic Consensus Multi-Agent RAG Framework for Robust Malware Detection [1.2183405753834562]
  本稿では,マルウェア解析をセマンティックコード検索と確率的検証に分離するフレームワークMAGMAを提案する。 MAGMAは98.4%の検知率を示し,既存の解よりもかなり高い値を示した。
  論文  参考訳（メタデータ） (2026-05-08T18:46:24Z)
• Escaping the Diversity Trap in Robotic Manipulation via Anchor-Centric Adaptation [50.23374353859762]
  多様な単発デモを収集することで「最大限のカバレッジ」を達成できる。 我々は、この現象を包括的-密度トレードオフとして定式化する。 Anchor-Centric Adaptation (ACA) は、2段階のフレームワークで、まずコアアンカーでの繰り返しデモを通じてポリシースケルトンを安定化し、次に教師力によるエラーマイニングと制約付き残差更新を通じて高リスク境界までカバー範囲を広げる。
  論文  参考訳（メタデータ） (2026-05-08T07:35:24Z)
• Exploring Semantic-constrained Adversarial Example with Instruction Uncertainty Reduction [51.50282796099369]
  本稿では,多次元命令の不確実性低減フレームワークを開発し,意味論的に制約された逆の例を生成する。 言語誘導サンプリングプロセスの予測により、設計したResAdv-DDIMサンプルにより最適化プロセスが安定化される。 セマンティック制約付き3次元逆数例の参照フリー生成を初めて実現した。
  論文  参考訳（メタデータ） (2025-10-27T04:02:52Z)
• Enhancing the Antidote: Improved Pointwise Certifications against Poisoning Attacks [30.42301446202426]
  毒殺攻撃は、トレーニングコーパスに小さな変更を加えることで、モデル行動に不当に影響を及ぼす可能性がある。 限られた数のトレーニングサンプルを修正した敵攻撃に対して,サンプルの堅牢性を保証することを可能とする。
  論文  参考訳（メタデータ） (2023-08-15T03:46:41Z)
• Improving Adversarial Robustness to Sensitivity and Invariance Attacks with Deep Metric Learning [80.21709045433096]
  対向ロバスト性の標準的な方法は、サンプルを最小に摂動させることによって作られたサンプルに対して防御する枠組みを仮定する。 距離学習を用いて、最適輸送問題として逆正則化をフレーム化する。 予備的な結果から, 変分摂動の規則化は, 変分防御と敏感防御の両方を改善することが示唆された。
  論文  参考訳（メタデータ） (2022-11-04T13:54:02Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Trust but Verify: Assigning Prediction Credibility by Counterfactual Constrained Learning [123.3472310767721]
  予測信頼性尺度は統計学と機械学習において基本的なものである。 これらの措置は、実際に使用される多種多様なモデルを考慮に入れるべきである。 この研究で開発されたフレームワークは、リスクフィットのトレードオフとして信頼性を表現している。
  論文  参考訳（メタデータ） (2020-11-24T19:52:38Z)

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

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