論文の概要: Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)

• arxiv url: http://arxiv.org/abs/2601.21910v1
• Date: Thu, 29 Jan 2026 16:00:56 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-01-30 16:22:49.970245
• Title: Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
• Title（参考訳）: 有限変数の超越:シンボリックディフィー・ヘルマン群モデルの拡張(拡張版)
• Authors: Sofia Giampietro, Ralf Sasse, David Basin,
• Abstract要約: ディフィー・ヘルマン群は暗号プロトコルで一般的に用いられる。 シンボリックプロトコル検証器は、これらのグループで可能なすべての数学的操作をサポートしない。 本稿では,プロトコルがユーザ定義プロパティを満たすかどうかを判断する半決定手順を提案する。 最先端のツールがこのようなプロトコルをモデル化し、推論できるのは、これが初めてだ。
• 参考スコア（独自算出の注目度）: 2.264276964593832
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Diffie-Hellman groups are commonly used in cryptographic protocols. While most state-of-the-art, symbolic protocol verifiers support them to some degree, they do not support all mathematical operations possible in these groups. In particular, they lack support for exponent addition, as these tools reason about terms using unification, which is undecidable in the theory describing all Diffie-Hellman operators. In this paper we approximate such a theory and propose a semi-decision procedure to determine whether a protocol, which may use all operations in such groups, satisfies user-defined properties. We implement this approach by extending the Tamarin prover to support the full Diffie-Hellman theory, including group element multiplication and hence addition of exponents. This is the first time a state-of-the-art tool can model and reason about such protocols. We illustrate our approach's effectiveness with different case studies: ElGamal encryption and MQV. Using Tamarin, we prove security properties of ElGamal, and we rediscover known attacks on MQV.
• Abstract（参考訳）: ディフィー・ヘルマン群は暗号プロトコルで一般的に用いられる。 ほとんどの最先端のシンボリックプロトコル検証器はそれらをある程度サポートしているが、これらのグループで可能なすべての数学的操作はサポートしていない。 特に、これらは指数加法のサポートを欠くが、これらのツールがユニフィケーション(unification)を用いた項を推論するので、すべてのディフィー・ヘルマン作用素を記述する理論では決定不能である。 本稿では、そのような理論を近似し、そのようなグループで全ての操作を使用できるプロトコルが、ユーザ定義プロパティを満たすかどうかを判断する半決定手順を提案する。 このアプローチは、群要素乗算や指数の加算を含む全ディフィー・ヘルマン理論をサポートするためにタマリン証明を拡張して実装する。 最先端のツールがこのようなプロトコルをモデル化し、推論できるのは、これが初めてだ。 ElGamal暗号化とMQVという,さまざまなケーススタディによるアプローチの有効性について説明する。 Tamarinを用いて、ElGamalのセキュリティ特性を証明し、MQVに対する既知の攻撃を再発見する。

関連論文リスト

• Side Channel Analysis in Homomorphic Encryption [0.46040036610482665]
  ホモモルフィック暗号化は、プライバシーに配慮した処理の多くの機会を提供する。 既存の暗号手法は、過去にサイドチャネル攻撃の影響を受けやすいことが示されている。 本稿では, サイドチャネル解析に関連するFHE実装の弱点について概説する。
  論文  参考訳（メタデータ） (2025-05-16T09:56:03Z)
• Constructing a fully homomorphic encryption scheme with the Yoneda Lemma [0.0]
  この論文は、Yoneda Lemmaの適用を通じて、非対称暗号の同型暗号システムの基盤を再定義する。 これは、ElGamal、RSA、Benaloh、RegevのLWE、NTRUEncryptといった広く採用されているシステムが、Yoneda Lemmaの原理から直接派生していることを示している。 この合成により、全体論的同型暗号化フレームワークである Yoneda Encryption Scheme が作成される。
  論文  参考訳（メタデータ） (2024-01-24T06:46:26Z)
• Uncovering Prototypical Knowledge for Weakly Open-Vocabulary Semantic Segmentation [59.37587762543934]
  本稿では,弱開語彙セマンティックセマンティックセグメンテーション(WOVSS)の問題点について検討する。 既存の方法は、グループトークンの使用に関する粒度の矛盾に悩まされる。 マルチモーダル正規化を組み込んだプロトタイプ誘導ネットワーク(PGSeg)を提案する。
  論文  参考訳（メタデータ） (2023-10-29T13:18:00Z)
• Publicly-Verifiable Deletion via Target-Collapsing Functions [81.13800728941818]
  ターゲットの折り畳みは、公開可能な削除(PVD)を可能にすることを示す。 我々は、弱い暗号的仮定から公開可能な削除を支援する様々なプリミティブを得るために、このフレームワークを構築している。
  論文  参考訳（メタデータ） (2023-03-15T15:00:20Z)
• Equivariant Transduction through Invariant Alignment [71.45263447328374]
  グループ内ハードアライメント機構を組み込んだ,新しいグループ同変アーキテクチャを提案する。 我々のネットワーク構造は、既存のグループ同変アプローチよりも強い同変特性を発達させることができる。 また、SCANタスクにおいて、従来のグループ同変ネットワークよりも経験的に優れていたことが判明した。
  論文  参考訳（メタデータ） (2022-09-22T11:19:45Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Unsupervised Disentanglement with Tensor Product Representations on the Torus [78.6315881294899]
  オートエンコーダで表現を学習する現在の方法では、ほとんどベクターを潜在表現として用いている。 本研究では,この目的のためにテンソル積構造を用いることを提案する。 通常分布する特徴を対象とする従来の変分法とは対照的に,表現の潜在空間は単位円の集合上に均一に分布する。
  論文  参考訳（メタデータ） (2022-02-13T04:23:12Z)
• A Two-Stage Masked LM Method for Term Set Expansion [50.59278236410461]
  用語集合拡張(TSE:Term Set Expansion): 意味クラスからサンプル項の小さなシードセットが与えられ、そのクラスのより多くのメンバが見つかる。 パターンベースと分布的アプローチを組み合わせた新しいTSEアルゴリズムを提案する。 提案手法は最先端のTSEアルゴリズムより優れている。
  論文  参考訳（メタデータ） (2020-05-03T12:06:06Z)
• Post-Quantum Cryptography(PQC): Generalized ElGamal Cipher over GL(8,F251) [0.0]
  ポスト量子暗号(PQC)は、攻撃に耐性のある暗号プロトコルを見つけようとする。 本稿では、一般化されたElGamal非軌道化プロトコルに基づく非対称暗号に焦点をあてる。
  論文  参考訳（メタデータ） (2017-02-12T22:50:28Z)

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

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