論文の概要: Deniable Encryption in a Quantum World
- arxiv url: http://arxiv.org/abs/2112.14988v3
- Date: Fri, 3 Jun 2022 04:08:58 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-02 21:19:45.098582
- Title: Deniable Encryption in a Quantum World
- Title（参考訳）: 量子世界におけるデニィブル暗号
- Authors: Andrea Coladangelo, Shafi Goldwasser, Umesh Vazirani
- Abstract要約: 我々は,暗号処理が量子アルゴリズムであるような環境で,(sender-)deniablecryptingについて検討する。
量子アンロックは基本的により強力な復号化暗号であり、完全に説明不能であることを示す。
- 参考スコア（独自算出の注目度）: 6.550883342516878
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: (Sender-)Deniable encryption provides a very strong privacy guarantee: a
sender who is coerced by an attacker into "opening" their ciphertext
after-the-fact is able to generate "fake" local random choices that are
consistent with any plaintext of their choice. The only known fully-efficient
constructions of public-key deniable encryption rely on indistinguishability
obfuscation (iO) (which currently can only be based on sub-exponential hardness
assumptions). In this work, we study (sender-)deniable encryption in a setting
where the encryption procedure is a quantum algorithm, but the ciphertext is
classical. First, we propose a quantum analog of the classical definition in
this setting. We give a fully efficient construction satisfying this
definition, assuming the quantum hardness of the Learning with Errors (LWE)
problem. Second, we show that quantum computation unlocks a fundamentally
stronger form of deniable encryption, which we call perfect unexplainability.
The primitive at the heart of unexplainability is a quantum computation for
which there is provably no efficient way, such as exhibiting the "history of
the computation", to establish that the output was indeed the result of the
computation. We give a construction which is secure in the random oracle model,
assuming the quantum hardness of LWE. Crucially, this notion implies a form of
protection against coercion "before-the-fact", a property that is impossible to
achieve classically.
- Abstract（参考訳）: (Sender-)Deniable暗号化は、非常に強力なプライバシー保証を提供する。攻撃者が暗号文を「開く」ように強制する送信者は、選択した平文と整合した「フェイク」なランダムな選択を生成できる。
public-key deniable encryption の唯一の完全効率な構成は、識別可能性の難読化 (io) に依存している(これは現在、サブ指数的ハードネスの仮定に基づいている)。
本研究は,暗号処理が量子アルゴリズムであるが,暗号文は古典的であるような環境で,(性-)決定可能な暗号について検討する。
まず、この設定における古典的定義の量子アナログを提案する。
我々は、LWE問題(Learning with Errors)の量子硬度を仮定して、この定義を満たす完全効率的な構成を与える。
第二に、量子計算が本質的に強力な復号化暗号を解き放つことを示し、これを完全説明不能と呼ぶ。
説明不能の核心にあるプリミティブは「計算の歴史」を示すような効率的な方法が存在しない量子計算であり、出力が実際に計算の結果であることを示す。
我々は、LWEの量子硬度を仮定して、ランダムなオラクルモデルにおいてセキュアな構成を与える。
この概念は、古典的に達成できない性質である「事実前」の強制に対する保護の形式を意味する。
関連論文リスト
- Anonymous Public-Key Quantum Money and Quantum Voting [15.80411915665245]
量子マネースキームにおけるプライバシの形式的定義を開発する。
次に、これらのセキュリティ概念を満たす最初の公開鍵量子マネースキームを構築する。
量子力学の結果、非閉鎖原理は古典的に不可能なセキュリティ保証を備えたスキームの構築を可能にすることを示した。
論文 参考訳（メタデータ） (2024-11-07T07:21:28Z) - Relating Quantum Tamper-Evident Encryption to Other Cryptographic Notions [0.0]
量子タンパー・エビデント暗号スキーム(quantum tamper-evident encryption scheme)は、古典的なメッセージを量子暗号文にマッピングする非相互作用対称鍵暗号スキームである。
この量子暗号プリミティブは2003年にゴッテスマンによって初めて導入された。
我々は、情報理論的な設定で、他の暗号プリミティブと正式に関連付けることで、タンパーの明解な暗号化の理解を深める。
論文 参考訳（メタデータ） (2024-11-05T02:20:29Z) - (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。
その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。
本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
論文 参考訳（メタデータ） (2024-10-22T00:41:47Z) - Simultaneous Haar Indistinguishability with Applications to Unclonable Cryptography [5.360892674012226]
本稿では,非局所量子状態の識別に関する新しい問題への還元を通じて,非閉包暗号に対する新しいアプローチを提案する。
我々の主な技術的成果は、各プレイヤーが独立してハールランダム状態を受ける場合と同一のハールランダム状態を受ける場合とを区別できないことを示すことである。
また、単一復号器の暗号化やリーク耐性のある秘密の共有にも影響することを示す。
論文 参考訳（メタデータ） (2024-05-16T17:30:55Z) - Exact Homomorphic Encryption [0.0]
本稿では,暗号前処理を必要とせずに,暗号化データの正確な計算を可能にするEHE(Exact Homomorphic Encryption)というフレームワークを提案する。
量子ゲートの2つの基本的な特性、可逆性と非可換性は、EHEの成功を確立する。
論文 参考訳（メタデータ） (2024-01-17T07:48:52Z) - Encryption with Quantum Public Keys [1.7725414095035827]
本稿では,一方の関数とより弱い仮定から量子公開鍵暗号スキームを構築するという課題について考察する。
本研究では,一方の関数からの量子公開鍵暗号,擬似乱数関数様状態と擬似乱数関数様状態との3つのスキームを提案する。
論文 参考訳（メタデータ） (2023-03-09T16:17:19Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳（メタデータ） (2023-02-28T18:58:11Z) - 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) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳（メタデータ） (2020-09-29T08:41:53Z) - Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。
この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。
標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
論文 参考訳（メタデータ） (2018-03-10T05:31:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。