論文の概要: Natural Barriers to Quantum Extraction: On the Post-Quantum (In)security of (O)EKE and Masny-Rindal OT

• arxiv url: http://arxiv.org/abs/2609.39844v1
• Date: Wed, 30 Sep 2026 14:37:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-01 18:57:27.897936
• Title: Natural Barriers to Quantum Extraction: On the Post-Quantum (In)security of (O)EKE and Masny-Rindal OT
• Title（参考訳）: 量子抽出に対する自然障壁:(O)EKEとMasny-Rindal OTの量子後(In)セキュリティについて
• Abstract要約: 我々は、(O)EKEプロトコルの一般的なファミリーとMasny-Rindal OTが、量子時間敵に対するUC-Secureであることを示す。 我々はまた、独立した関心を持つかもしれないレムマを隠すための、小説「タイト」の片道を確立します。
• 参考スコア（独自算出の注目度）: 5.156484100374059
• License: http://creativecommons.org/publicdomain/zero/1.0/
• Abstract: Encrypted key exchange (EKE), introduced by Bellovin and Merritt (IEEE S\&P 1992), and Masny-Rindal OT, introduced by Masny and Rindal (ACM CCS 2019), are highly-efficient methods for compiling essentially any KEM into advanced cryptographic protocols, namely password-authenticated key exchange (PAKE) and oblivious transfer (OT), by relying only on idealized symmetric-key primitives. They have become leading candidates for practically-implementable PAKE and OT due to (1) their simplicity, (2) their plug-and-play nature, allowing for flexibility in the choice of KEM, and (3) existing proofs of UC-security (in the classical adversarial model). Due to point (2) above, these compilers yield attractive candidates for efficient \emph{post-quantum} PAKE and OT, especially given the recent post-quantum KEM standardization efforts. This motivates the question of whether the (UC-)security of these compilers translates to the quantum adversarial model. In this work, we show that it does not. In particular, we prove that a general family of (O)EKE protocols, as well as Masny-Rindal OT, are \emph{not} UC-secure against quantum polynomial-time adversaries, even when instantiated with a post-quantum KEM. To establish UC-insecurity, we devise an adversarial strategy that provably thwarts any attempt by the simulator to extract its input (the password in the case of PAKE, and the receiver's choice bit in the case of OT). To complement these negative results, we establish that both compilers yield certain notions of \emph{game-based} security. Along the way, we establish a novel ``advantage-tight'' one-way to hiding lemma that may be of independent interest.
• Abstract（参考訳）: 暗号化鍵交換(英: Encrypted key exchange、EKE)は、Belovin and Merritt (IEEE S\&P 1992) と Masny-Rindal OT (ACM CCS 2019) が導入した暗号鍵交換(英語版)である。 それらは,(1)単純さ,(2)プラグ・アンド・プレイ性,(3)KEMの選択の柔軟性,(3)UC-セキュリティの既存の証明(古典的逆境モデル)により,実用的に実装可能なPAKEとOTの候補となっている。 上記の点 (2) により、これらのコンパイラは、特に最近の量子後KEM標準化の取り組みを考えると、効率的な 'emph{post-quantum} PAKE と OT に対して魅力的な候補が得られる。 このことは、これらのコンパイラの(UC-)セキュリティが量子対数モデルに変換されるかどうかという問題を動機付けている。 本研究ではそうでないことを示す。 特に、(O)EKE プロトコルの一般族と Masny-Rindal OT が量子多項式時間逆数に対して \emph{not} UC-secure であることを証明している。 UC-insecurityを確立するために,シミュレータが入力を抽出する試み(PAKEの場合のパスワード,OTの場合の受信者の選択ビット)を確実に阻止する対戦戦略を考案した。 これらの負の結果を補うために、両コンパイラが \emph{game-based} セキュリティの特定の概念を導出することを確立する。 途中、我々は独立した関心を持つかもしれないレムマを隠すための小説『アドバンテージ・タイト』を創刊する。

関連論文リスト

• Verifiable Quantum Advantage and Computation via Quantum Circuit Obfuscation [40.97629361826537]
  古典的に検証可能な量子優位性と$mathsfBQP$計算の古典的検証のためのプロトコルを構築する。 我々は、qiOがアンシラフリーなユニタリ回路でのみ仮定される場合、全ての結果が成り立つことを示す。
  論文  参考訳（メタデータ） (2026-09-30T17:49:01Z)
• Post-Quantum Cryptography from Quantum Stabilizer Decoding [40.84312119358882]
  量子後暗号は現在、少数のハードネス仮定に依存している。 ランダム量子安定化器符号の復号化は優れた候補である。 量子安定化器デコーディングの平均ケース硬さは、古典的なクリプトマニアのコアプリミティブを意味することを証明している。
  論文  参考訳（メタデータ） (2026-03-19T16:35:31Z)
• Quantum Rewinding for IOP-Based Succinct Arguments [42.12045681000549]
  我々は、ベクトルコミットメントスキームが崩壊しているとき、BCS変換のインタラクティブな変種が量子敵に対する標準モデルで安全であることを証明した。 その結果、量子後安全な簡潔な議論の標準モデルを得ることができ、その複雑さを最もよく知ることができる。
  論文  参考訳（メタデータ） (2024-11-08T06:33:08Z)
• Lower Bounds for Quantum Secure Function Evaluation Reductions [0.0]
  一方の出力セキュア関数評価は、互いに不信な2人のプレイヤーであるアリスとボブがそれぞれプライベートな入力を持つ暗号プリミティブである。 非自明な関数の任意の実装から、Bobが可能なすべての入力に対して関数値を抽出できることが示される。 次に、2人のプレーヤーが信頼された分散ランダム性にリソースとしてアクセスできるような設定で、安全な機能評価のためのプロトコルを検討する。
  論文  参考訳（メタデータ） (2024-05-20T15:39:30Z)
• QPP and HPPK: Unifying Non-Commutativity for Quantum-Secure Cryptography with Galois Permutation Group [0.0]
  我々は、対称鍵暗号のための量子置換パッド(QPP)と、鍵カプセル化機構(KEM)のための同型多項式公開鍵(HPPK)とデジタル署名(DS)の2つの新しいプリミティブを活用する。 QPPは量子セキュアな対称鍵暗号を実現し、シャノンの完全秘密を古典的および量子ネイティブなシステムにシームレスに拡張する。 NPハード問題のないHPPKは、平易な公開鍵の対称暗号化を補強する。
  論文  参考訳（メタデータ） (2024-02-02T19:10:43Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
  古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。 悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。 我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-15T17:55:31Z)

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

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