論文の概要: Categorical composable cryptography: extended version

• arxiv url: http://arxiv.org/abs/2208.13232v5
• Date: Fri, 18 Oct 2024 18:47:36 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-10-22 17:02:00.961749
• Title: Categorical composable cryptography: extended version
• Title（参考訳）: カテゴリ構成可能暗号:拡張版
• Authors: Anne Broadbent, Martti Karvonen,
• Abstract要約: 我々は、カテゴリ理論の観点から、暗号のシミュレーションパラダイムを定式化する。 抽象攻撃に対してセキュアなプロトコルが対称なモノイダルカテゴリを形成することを示す。 我々のモデルは、計算セキュリティ、設定された仮定、および様々な攻撃モデルを組み込むことができる。
• 参考スコア（独自算出の注目度）: 1.1970409518725493
• License:
• Abstract: We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in cryptography. Our model is able to incorporate computational security, set-up assumptions and various attack models such as colluding or independently acting subsets of adversaries in a modular, flexible fashion. We conclude by using string diagrams to rederive the security of the one-time pad, correctness of Diffie-Hellman key exchange and no-go results concerning the limits of bipartite and tripartite cryptography, ruling out e.g., composable commitments and broadcasting. On the way, we exhibit two categorical constructions of resource theories that might be of independent interest: one capturing resources shared among multiple parties and one capturing resource conversions that succeed asymptotically. This is a corrected version of the paper arXiv:2208.13232 published originally on December 18, 2023.
• Abstract（参考訳）: 我々は、暗号のシミュレーションパラダイムをカテゴリ理論で定式化し、抽象攻撃に対する保護プロトコルが対称なモノイダルカテゴリを形成し、暗号化における構成可能なセキュリティ定義の抽象モデルを与えることを示す。 我々のモデルは、計算セキュリティ、セットアップ仮定、および計算や独立に作用する敵のサブセットなどの様々な攻撃モデルをモジュラーで柔軟な方法で組み込むことができる。 我々は,1回限りのパッドのセキュリティ,ディフィー・ヘルマン鍵交換の正しさ,両部暗号と三部暗号の限界,e.g,構成可能なコミットメント,ブロードキャストに関するノーゴー結果について,文字列ダイアグラムを用いて結論付ける。 その過程で、我々は、複数の当事者間で共有されるリソースを1つと、漸近的に成功するリソース変換を1つと、独立した関心を持つ可能性のあるリソース理論の分類学的構成を示す。 これは2023年12月18日に出版された論文arXiv:2208.13232の修正版である。

関連論文リスト

• Provably Secure Disambiguating Neural Linguistic Steganography [66.30965740387047]
  サブワードに基づく言語モデルを使用する際に生じるセグメンテーションの曖昧さ問題は、時にはデコード障害を引き起こす。 そこで我々はSyncPoolという,セグメンテーションのあいまいさ問題に効果的に対処する,セキュアな曖昧さ回避手法を提案する。 SyncPoolは、候補プールのサイズやトークンの分布を変えないため、確実に安全な言語ステガノグラフィー手法に適用できる。
  論文  参考訳（メタデータ） (2024-03-26T09:25:57Z)
• Security of hybrid BB84 with heterodyne detection [0.0]
  量子鍵分布(QKD)は物理学の法則に基づく永続的なセキュリティを約束する。 最近のハイブリッドQKDプロトコルは、両方のカテゴリの利点を活用するために導入されている。 我々は2021年にQiによって導入されたプロトコルの厳密なセキュリティ証明を提供し、そこでは情報を離散変数に符号化する。
  論文  参考訳（メタデータ） (2024-02-26T19:00:01Z)
• Constructing a fully homomorphic encryption scheme with the Yoneda Lemma [0.0]
  本稿では, Yoneda Lemmaの適用を通じて, 非対称暗号の同型暗号システムの基盤を再定義する。 これは、ElGamal、RSA、Benaloh、RegevのLWE、NTRUEncryptといった広く採用されているシステムが、Yoneda Lemmaの原則から直接派生していることを示している。
  論文  参考訳（メタデータ） (2024-01-24T06:46:26Z)
• Discrete Choice Multi-Armed Bandits [0.0]
  本稿では,個別選択モデルのカテゴリとオンライン学習とマルチアームバンディットアルゴリズムの領域の関連性を確立する。 我々は、Exp3アルゴリズムを特定のケースとして包含して、包括的アルゴリズム群に対するサブ線形後悔境界を提供する。 一般化されたネストロジットモデルからインスピレーションを得た,対向多重武装バンディットアルゴリズムの新たなファミリーを導入する。
  論文  参考訳（メタデータ） (2023-10-01T03:41:04Z)
• Prototype-based Aleatoric Uncertainty Quantification for Cross-modal Retrieval [139.21955930418815]
  クロスモーダル検索手法は、共通表現空間を共同学習することにより、視覚と言語モダリティの類似性関係を構築する。 しかし、この予測は、低品質なデータ、例えば、腐敗した画像、速いペースの動画、詳細でないテキストによって引き起こされるアレタリック不確実性のために、しばしば信頼性が低い。 本稿では, 原型に基づくAleatoric Uncertainity Quantification (PAU) フレームワークを提案する。
  論文  参考訳（メタデータ） (2023-09-29T09:41:19Z)
• Publicly-Verifiable Deletion via Target-Collapsing Functions [81.13800728941818]
  ターゲットの折り畳みは、公開可能な削除(PVD)を可能にすることを示す。 我々は、弱い暗号的仮定から公開可能な削除を支援する様々なプリミティブを得るために、このフレームワークを構築している。
  論文  参考訳（メタデータ） (2023-03-15T15:00:20Z)
• Mutual Exclusivity Training and Primitive Augmentation to Induce Compositionality [84.94877848357896]
  最近のデータセットは、標準的なシーケンス・ツー・シーケンスモデルにおける体系的な一般化能力の欠如を露呈している。 本稿では,セq2seqモデルの振る舞いを分析し,相互排他バイアスの欠如と全例を記憶する傾向の2つの要因を同定する。 広範に使用されている2つの構成性データセット上で、標準的なシーケンス・ツー・シーケンスモデルを用いて、経験的改善を示す。
  論文  参考訳（メタデータ） (2022-11-28T17:36:41Z)
• 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)
• Asymmetric Modality Translation For Face Presentation Attack Detection [55.09300842243827]
  顔提示攻撃検出(PAD)は、悪意のあるユーザによって顔認識システムが偽造されるのを防ぐための重要な手段である。 両モードシナリオにおける非対称なモダリティ変換に基づく新しいフレームワークを提案する。 本手法は,異なる評価プロトコル下での最先端性能を実現する。
  論文  参考訳（メタデータ） (2021-10-18T08:59:09Z)

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

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