論文の概要: Tight adaptive reprogramming in the QROM
- arxiv url: http://arxiv.org/abs/2010.15103v2
- Date: Fri, 30 Oct 2020 13:27:39 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-27 06:14:11.842956
- Title: Tight adaptive reprogramming in the QROM
- Title(参考訳): QROMにおけるタイト適応型再プログラミング
- Authors: Alex B. Grilo and Kathrin H\"ovelmanns and Andreas H\"ulsing and
Christian Majenz
- Abstract要約: 適応的な再プログラム性は、ランダムなオラクルが再プログラムされたかどうかを識別する上で、逆の優位性に縛られることを証明することによって実現可能であることを示す。
提案手法は,3つのQROMアプリケーションにおけるROMの利点を回復することを示す。
- 参考スコア(独自算出の注目度): 4.234367850767171
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The random oracle model (ROM) enjoys widespread popularity, mostly because it
tends to allow for tight and conceptually simple proofs where provable security
in the standard model is elusive or costly. While being the adequate
replacement of the ROM in the post-quantum security setting, the
quantum-accessible random oracle model (QROM) has thus far failed to provide
these advantages in many settings. In this work, we focus on adaptive
reprogrammability, a feature of the ROM enabling tight and simple proofs in
many settings. We show that the straightforward quantum-accessible
generalization of adaptive reprogramming is feasible by proving a bound on the
adversarial advantage in distinguishing whether a random oracle has been
reprogrammed or not. We show that our bound is tight by providing a matching
attack. We go on to demonstrate that our technique recovers the mentioned
advantages of the ROM in three QROM applications: 1) We give a tighter proof of
security of the message compression routine as used by XMSS. 2) We show that
the standard ROM proof of chosen-message security for Fiat-Shamir signatures
can be lifted to the QROM, straightforwardly, achieving a tighter reduction
than previously known. 3) We give the first QROM proof of security against
fault injection and nonce attacks for the hedged Fiat-Shamir transform.
- Abstract(参考訳): ランダムオラクルモデル(ROM)は、標準モデルにおける証明可能なセキュリティが取り除かれるかコストがかかるという厳密で概念的に単純な証明を可能にする傾向にあるため、広く普及している。
量子アクセス可能なランダムオラクルモデル(QROM)は、量子後セキュリティ設定におけるROMの適切な置き換えであるが、多くの設定においてこれらの利点を提供することができなかった。
本研究では,ROMの特徴である適応的再プログラム可能性に着目し,多くの設定で厳密かつ簡単な証明を可能にする。
適応型再プログラミングの量子アクセス可能な簡単な一般化は、ランダムなオラクルが再プログラムされたかどうかを区別する逆の優位性に縛られることを証明することによって実現可能であることを示す。
一致した攻撃を提供することで、境界がきついことを示す。
続いて、我々の手法が3つのQROMアプリケーションにおけるROMの利点を回復することを示す。
1) XMSSで使用されるメッセージ圧縮ルーチンのセキュリティのより厳密な証明を与える。
2) Fiat-Shamirシグネチャの選択メッセージセキュリティの標準的なROM証明は,QROMに簡単に持ち上げることができ,従来よりも厳密な削減が達成できることを示す。
3) ヘッジされたフィアット・シャミール変換に対する障害注入とナンス攻撃に対する最初のqromのセキュリティ証明を与える。
関連論文リスト
- CodeChameleon: Personalized Encryption Framework for Jailbreaking Large
Language Models [49.60006012946767]
パーソナライズされた暗号化手法に基づく新しいジェイルブレイクフレームワークであるCodeChameleonを提案する。
我々は、7つの大規模言語モデルに関する広範な実験を行い、最先端の平均アタック成功率(ASR)を達成する。
GPT-4-1106上で86.6%のASRを実現する。
論文 参考訳(メタデータ) (2024-02-26T16:35:59Z) - Weak-to-Strong Jailbreaking on Large Language Models [96.50953637783581]
大規模言語モデル(LLM)は、ジェイルブレイク攻撃に対して脆弱である。
既存のジェイルブレイク法は計算コストがかかる。
我々は、弱々しく強固な脱獄攻撃を提案する。
論文 参考訳(メタデータ) (2024-01-30T18:48:37Z) - Evaluating the security of CRYSTALS-Dilithium in the quantum random
oracle model [2.486161976966064]
我々は、量子ランダムオラクルモデル(QROM)におけるMLWEからの還元によるSelfTargetMSISの硬さの最初の証明を提供する。
MSIS問題から派生した特定のハッシュ関数が崩壊していることの証明である。
Kiltz, Lyubashevsky, Schaffner の以前の研究と比較すると、我々の証明は q = 1 mod 2n という条件で適用できるという利点がある。
論文 参考訳(メタデータ) (2023-12-27T15:56:27Z) - Evil from Within: Machine Learning Backdoors through Hardware Trojans [72.99519529521919]
バックドアは、自動運転車のようなセキュリティクリティカルなシステムの整合性を損なう可能性があるため、機械学習に深刻な脅威をもたらす。
私たちは、機械学習のための一般的なハードウェアアクセラレーターに完全に存在するバックドアアタックを導入します。
我々は,Xilinx Vitis AI DPUにハードウェアトロイの木馬を埋め込むことにより,攻撃の実現可能性を示す。
論文 参考訳(メタデータ) (2023-04-17T16:24:48Z) - Publicly-Verifiable Deletion via Target-Collapsing Functions [81.13800728941818]
ターゲットの折り畳みは、公開可能な削除(PVD)を可能にすることを示す。
我々は、弱い暗号的仮定から公開可能な削除を支援する様々なプリミティブを得るために、このフレームワークを構築している。
論文 参考訳(メタデータ) (2023-03-15T15:00:20Z) - Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared
Entanglement [0.0]
これをCRQS(Common Reference Quantum State)モデルと呼び、よく知られたCommon Reference String(CRS)と類似している。
私たちはこの概念をWak One-Time Random Oracle (WOTRO)として定式化します。
CRQSモデルにおけるWOTROのプロトコルは、(非効率な)敵によって攻撃可能であることを示す。
我々の敵は効率的にシミュレート可能であり、これは暗号ゲーム仮定への完全にブラックボックスの削減によるスキームの計算安全性を証明する可能性を規定している。
論文 参考訳(メタデータ) (2022-04-05T14:56:10Z) - Quantum copy-protection of compute-and-compare programs in the quantum
random oracle model [74.52678585199014]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳(メタデータ) (2020-09-29T08:41:53Z) - Multi-theorem (Malicious) Designated-Verifier NIZK for QMA [4.264192013842096]
マルチセオラムセキュリティを備えたQMAのための非対話型ゼロ知識引数システムを提案する。
我々の技術は古典的だが量子プロトコルに向いており、QMAのための再利用可能なMDV-NIZKの構築を可能にしている。
論文 参考訳(メタデータ) (2020-07-25T13:14:49Z) - The Measure-and-Reprogram Technique 2.0: Multi-Round Fiat-Shamir and
More [9.399840807973543]
我々は、量子ランダムオラクルモデル(QROM)における$Sigma$-protocolsのフィアット・シャミール変換の安全性に関するDon, Fehr, Majenz, Schaffnerの業績を再考する。
我々は、Grover-search ベースの攻撃を通じて、$Sigma$-protocols の Fiat-Shamir 変換に対する Don らの二次的セキュリティ損失が、小さな定数係数まで最適であることを示す。
論文 参考訳(メタデータ) (2020-03-11T10:33:57Z) - Robustness Guarantees for Mode Estimation with an Application to Bandits [131.21717367564963]
平均ではなく報酬分布のモードを値とするマルチアームバンディットの理論を導入する。
我々は,我々のアルゴリズムが逆雑音列による腕の摂動に頑健であることを示すシミュレーションで示す。
論文 参考訳(メタデータ) (2020-03-05T21:29:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。