論文の概要: (Quantum) Indifferentiability and Pre-Computation

• arxiv url: http://arxiv.org/abs/2410.16595v1
• Date: Tue, 22 Oct 2024 00:41:47 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-10-23 14:29:18.525049
• Title: (Quantum) Indifferentiability and Pre-Computation
• Title（参考訳）: (量子)微分可能性と事前計算
• Authors: Joseph Carolan, Alexander Poremba, Mark Zhandry,
• Abstract要約: 微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。 その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。 本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
• 参考スコア（独自算出の注目度）: 50.06591179629447
• License:
• Abstract: Indifferentiability is a popular cryptographic paradigm for analyzing the security of ideal objects -- both in a classical as well as in a quantum world. It is typically stated in the form of a composable and simulation-based definition, and captures what it means for a construction (e.g., a cryptographic hash function) to be ``as good as'' an ideal object (e.g., a random oracle). Despite its strength, indifferentiability is not known to offer security against pre-processing attacks in which the adversary gains access to (classical or quantum) advice that is relevant to the particular construction. In this work, we show that indifferentiability is (generically) insufficient for capturing pre-computation. To accommodate this shortcoming, we propose a strengthening of indifferentiability which is not only composable but also takes arbitrary pre-computation into account. As an application, we show that the one-round sponge is indifferentiable (with pre-computation) from a random oracle. This yields the first (and tight) classical/quantum space-time trade-off for one-round sponge inversion.
• Abstract（参考訳）: 微分可能性(Indifferentiability)は、古典的でも量子世界でも、理想的なオブジェクトのセキュリティを分析するための一般的な暗号パラダイムである。 一般に、構成可能でシミュレーションに基づく定義の形で記述され、構造(例えば、暗号ハッシュ関数)が ' as good as'' である理想対象(例えば、ランダムオラクル)の意味を捉えている。 その強さにも拘わらず、敵が特定の構成に関連する(古典的または量子的)アドバイスにアクセスする前処理攻撃に対するセキュリティを提供することは知られていない。 本研究は,事前計算の取得に差分性が不十分であることを示す。 この欠点に対処するため,計算可能だけでなく,任意の事前計算を考慮に入れた微分可能性の強化を提案する。 応用として、1ラウンドスポンジはランダムなオラクルから(事前計算で)微分可能であることを示す。 これにより、ワンラウンドスポンジ反転の最初の(かつタイトな)古典的/量子的時空のトレードオフが得られる。

関連論文リスト

• Tight Characterizations for Preprocessing against Cryptographic Salting [2.9490241599448552]
  ソルティングはプリミティブに少量の暗号ランダム性を供給することで前処理攻撃に対抗する戦略である。 暗号ソルトに対する前処理の一般的な特徴と厳密な特徴について述べる。 我々の証明は、ソルトゲームにおける一様でないセキュリティと、メモリレスアルゴリズムの直接積定理との間の新しい接続を生かしている。
  論文  参考訳（メタデータ） (2024-05-30T17:34:25Z)
• Correcting Subverted Random Oracles [55.4766447972367]
  簡単な構成は、少数の入力で元のものと矛盾する「反転」ランダムオラクルを、ランダム関数から微分不可能な対象に変換することができることを証明している。 この結果から, 暗号プリミティブの設計者は, 通常のクリプトグラフィ設定で, ランダムなオラクルを信頼できるブラックボックスとして使用することができる。
  論文  参考訳（メタデータ） (2024-04-15T04:01:50Z)
• Encryption with Quantum Public Keys [1.7725414095035827]
  本稿では,一方の関数とより弱い仮定から量子公開鍵暗号スキームを構築するという課題について考察する。 本研究では,一方の関数からの量子公開鍵暗号,擬似乱数関数様状態と擬似乱数関数様状態との3つのスキームを提案する。
  論文  参考訳（メタデータ） (2023-03-09T16:17:19Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• A Unified Framework For Quantum Unforgeability [0.0]
  我々は,古典的・量子的構成の両面において,汎用的でパラメータ化された量子ゲームベースのセキュリティモデルを構築した。 我々は、よりきめ細かい逆数モデルを検討しながら、我々の定義がどのように以前の定義をサブスメイトするかを証明する。 我々は,従来クエリされていたメッセージが偽造であると考えられる場合に限り,最強の非偽造性,すなわち存在非偽造性を実現することができることを示す。
  論文  参考訳（メタデータ） (2021-03-25T17:31:59Z)
• Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
  古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。 悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。 我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-15T17:55:31Z)
• Simpler Proofs of Quantumness [16.12500804569801]
  量子性の証明は、量子デバイスが古典的なデバイスでは不可能な計算タスクを実行できることを示す方法である。 現在、量子性の証明を示すための3つのアプローチがある。 トラップドアの爪のない関数をベースとした量子性の2次元証明(Challenge-Response)を与える。
  論文  参考訳（メタデータ） (2020-05-11T01:31:18Z)
• Semantic Security for Quantum Wiretap Channels [68.24747267214373]
  本稿では,古典的量子および量子的通信路によるセマンティックセキュリティの課題について考察する。 非セキュアなコードをセマンティックにセキュアなコードに変換するために、明示的な構造を使い、二正規の既約関数によってキャパシティを達成します。
  論文  参考訳（メタデータ） (2020-01-16T09:55:49Z)
• Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
  我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。 この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。 標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
  論文  参考訳（メタデータ） (2018-03-10T05:31:38Z)

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

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