論文の概要: Semi-Quantum Cryptography with Certified Deletion

• arxiv url: http://arxiv.org/abs/2609.38915v1
• Date: Wed, 30 Sep 2026 04:01:01 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-01 18:57:27.155526
• Title: Semi-Quantum Cryptography with Certified Deletion
• Title（参考訳）: 証明書削除による半量子暗号
• Abstract要約: 認証削除により、クライアントは暗号化されたデータを量子状態としてサーバにアップロードし、後にサーバにデータを削除するように要求し、サーバが準拠するかどうかを検出する。 公的に認証された削除では、検証キーが公開され、誰でも削除のコンプライアンスを確認することができる。 当社のアプローチは,コミットメントや公開鍵,属性ベース,アイデンティティベース,完全同型暗号化など,さまざまなプリミティブに適用可能である。
• 参考スコア（独自算出の注目度）: 5.252451998908799
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Certified deletion allows a client to upload encrypted data to a server as a quantum state, then later request that the server delete their data and detect whether the server complies. If verification passes, then the data on the server will remain hidden even if the decryption key is later leaked. In publicly verifiable certified deletion, the verification key is published so that anyone may check for deletion compliance. In this work, we give a general compiler to publicly verifiable certified deletion that allows the client to initially upload the *quantum* ciphertext using purely *classical* communication, assuming the post-quantum hardness of LWE in the plain model. Our approach can be applied to a wide variety of primitives, including commitments and public-key, attribute-based, identity-based, and fully-homomorphic encryption. Moreover, our constructions allow the client to classically manage the encrypted data beyond just verifying its deletion. The classical client may non-destructively audit the ciphertext via a Proof of No Intrusion to check whether it has been leaked to a third party. The classical client may also retrieve the data while simultaneously verifying its deletion from the server. Thus, they do not have to choose between retrieving the data and protecting it against future key leakage. As our core technical contribution, we give a classical-communication protocol and simulation technique that allows adapting purification-based security arguments for BB84-style states which are prepared through classical interaction. It makes the required purification available in a hybrid experiment, despite the classical transcript uniquely determining the prepared state in a real execution.
• Abstract（参考訳）: 認証削除により、クライアントは暗号化されたデータを量子状態としてサーバにアップロードし、後にサーバにデータを削除するように要求し、サーバが準拠するかどうかを検出する。 検証がパスした場合、復号鍵が後に漏洩してもサーバ上のデータは隠される。 公的に認証された削除では、検証キーが公開され、誰でも削除のコンプライアンスを確認することができる。 そこで本研究では,クライアントが*quantum*暗号文を純*古典*通信でアップロードし,LWEの量子後硬度を仮定した上で,一般に検証済みの復号化を行う。 当社のアプローチは,コミットメントや公開鍵,属性ベース,アイデンティティベース,完全同型暗号化など,さまざまなプリミティブに適用可能である。 さらに、我々の構成では、クライアントはその削除を検証するだけでなく、古典的に暗号化されたデータを管理できます。 古典的クライアントは,第三者に漏洩したかどうかを確認するために,侵入の証明を通じて暗号文を非破壊的に監査することができる。 古典的なクライアントは、サーバからの削除を同時に検証しながら、データを取得できる。 したがって、データを取得するか、将来のキーリークから保護するかを選択する必要はない。 我々は,古典的相互作用を通じて準備されたBB84型状態に対して,浄化に基づくセキュリティ引数を適用可能な古典通信プロトコルとシミュレーション技術を提供する。 これは、古典的な転写文が実際の実行で準備された状態を一意に決定しているにもかかわらず、必要な浄化をハイブリッド実験で利用できるようにする。

関連論文リスト

• Stealing Reasoning Traces from Proprietary LLM APIs [84.58379404903394]
  我々は、暗号化された推論トレースのためのスケーラブルな復号化ジェイルブレイクを開発する。 抗蒸留機構を回避し、敵がプロプライエタリなモデルの推論を抽出できるようにする。 それは必然的に、推論プロセス内に隠された有害な情報を明らかにします。
  論文  参考訳（メタデータ） (2026-08-10T17:24:50Z)
• Registered Attribute-Based Encryption with Publicly Verifiable Certified Deletion, Everlasting Security, and More [0.0]
  本稿では,認証削除と恒常的セキュリティをサポートする最初のRAB方式を提案する。 我々はまず,認証削除(RABE-CD)方式でプライベートに検証可能なRABEを設計する。 次に,Shad-RABE,証人暗号,ワンショット署名を用いて,公に検証可能なRABE-CD方式を構築した。 RABE-CED(Certified Everlasting Deletion)方式で,個人で検証可能なRDA(Certified Everlasting Deletion)も拡張する。
  論文  参考訳（メタデータ） (2026-03-08T14:16:17Z)
• Hybrid Encryption with Certified Deletion in Preprocessing Model [0.9596789853473943]
  認証された削除により、AliceはBobにデータをアウトソースでき、その後、彼女の要求によりファイルが不可逆的に削除されたという確実な保証を得る。 既存のアプローチは、ワンタイムパッド(OTP)暗号化や、古典的または量子コンピューティングの将来の進歩に弱い計算硬度仮定に依存する。 プリプロセッシングモデル(pHE-CD)における認証削除によるハイブリッド暗号の導入と形式化
  論文  参考訳（メタデータ） (2026-01-15T16:05:24Z)
• Decompiling Smart Contracts with a Large Language Model [51.49197239479266]
  Etherscanの78,047,845のスマートコントラクトがデプロイされているにも関わらず(2025年5月26日現在)、わずか767,520 (1%)がオープンソースである。 この不透明さは、オンチェーンスマートコントラクトバイトコードの自動意味解析を必要とする。 バイトコードを可読でセマンティックに忠実なSolidityコードに変換する,先駆的な逆コンパイルパイプラインを導入する。
  論文  参考訳（メタデータ） (2025-06-24T13:42:59Z)
• Secure Semantic Communication With Homomorphic Encryption [52.5344514499035]
  本稿では,SemCom に準同型暗号を適用する可能性について検討する。 タスク指向のSemComスキームを提案する。
  論文  参考訳（メタデータ） (2025-01-17T13:26:14Z)
• Cryptography with Certified Deletion [16.354530084834863]
  我々は,暗号プリミティブの配列を認証された削除で生成する,新たな統一フレームワークを提案する。 プリミティブは、暗号化された平文が情報理論的に削除されたという古典的な証明書を生成するために、量子暗号文を保有している当事者を許可する。
  論文  参考訳（メタデータ） (2022-07-05T00:48:06Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication [10.973034520723957]
  ブロードベントとイスラム教は量子暗号プリミティブを提案した。 このプリミティブでは、量子暗号文を所持している受信機は、暗号化されたメッセージが削除された古典的な証明書を生成することができる。 削除証明書はプライベートに検証可能であるため、証明書の検証キーを秘密にしておく必要があるが、ブロードベントとイスラム教の定義では、公的な検証可能性も考慮できる。
  論文  参考訳（メタデータ） (2021-05-12T01:41:46Z)
• Robust and Verifiable Information Embedding Attacks to Deep Neural Networks via Error-Correcting Codes [81.85509264573948]
  ディープラーニングの時代、ユーザは、サードパーティの機械学習ツールを使用して、ディープニューラルネットワーク(DNN)分類器をトレーニングすることが多い。 情報埋め込み攻撃では、攻撃者は悪意のあるサードパーティの機械学習ツールを提供する。 本研究では,一般的なポストプロセッシング手法に対して検証可能で堅牢な情報埋め込み攻撃を設計することを目的とする。
  論文  参考訳（メタデータ） (2020-10-26T17:42:42Z)
• Backdoor Attack against Speaker Verification [86.43395230456339]
  学習データを汚染することにより,話者検証モデルに隠れたバックドアを注入できることを示す。 また,既存のバックドア攻撃が話者認証攻撃に直接適用できないことも実証した。
  論文  参考訳（メタデータ） (2020-10-22T11:10:08Z)

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

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