論文の概要: MCSI: A Masked Commutative Supersingular Isogeny Key Exchange with Blinded Ephemeral Keys
- arxiv url: http://arxiv.org/abs/2608.22360v1
- Date: Sun, 23 Aug 2026 10:59:30 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-25 13:29:43.731624
- Title: MCSI: A Masked Commutative Supersingular Isogeny Key Exchange with Blinded Ephemeral Keys
- Title(参考訳): MCSI: Blinded Ephemeral Keysによる仮面交換型超特異な等質鍵
- Abstract要約: 我々はCSIDHクラスグループアクションで設計した2つのメッセージキー交換であるMCSIを紹介する。
デザインは暗黙的な相互認証を与え、eavesdropperから短命の要素を隠蔽し、受信者は1つのタグチェック後に不正メッセージを捨てる。
分析面では,我々のプロトコルがゼロ誤差で正しいことを証明し,ランダムオラクルモデルにおける3つのステートメントを証明した。
また、目隠しキーは、確立しようとするセッションの秘密から来ないことも示しています。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We introduce MCSI, a two message key exchange we design over the CSIDH class group action, in which each party sends its ephemeral public element under an authenticated encryption keyed by the value the two static keys determine. The design gives implicit mutual authentication, hides the ephemeral element from an eavesdropper, and lets a recipient discard an unauthenticated message after one tag check rather than after an evaluation of the group action, which is four orders of magnitude more expensive. On the analytic side, we prove that our protocol is correct with zero error, and prove three statements in the random oracle model, all reducing to the strong parallelisation problem: indistinguishability of the session key against a passive adversary, confidentiality of the blinded ephemeral element, and integrity of the blinded transport. None uses the decisional group action assumption, which is false for class group actions of non-prime discriminant. We also show that a blinding key cannot come from the session secret it is meant to establish. To instantiate the design we select parameters and show that a prime chosen for elliptic curve discrete logarithms is unusable: for $p = 2^{521}-1$, the NIST P-521 prime, the action admits no efficiently evaluable generator. On the practical side, we build and test the design. We implement the protocol twice, in C and independently in Python, cross check the two, and measure what a session costs in field operations, time and memory. We also audit our code for secret dependent control flow: the field arithmetic and the symmetric layer show none, while the group action leaks the key by construction, and two hundred timings separate two keys whose one-norms differ by five out of 370. Finally, we state what we do not prove, among them security under ephemeral key reveal, forward secrecy of the blinding, and constant time execution.
- Abstract(参考訳): 我々は,CSIDHクラスグループアクション上で設計した2つのメッセージキー交換であるMCSIを導入し,各パーティが2つの静的キーが決定する値で認証された暗号化の下で,その一時的な公開要素を送信する。
デザインは暗黙的な相互認証を与え、盗聴者から短命要素を隠蔽し、受信者はグループアクションの評価の後ではなく、1つのタグチェック後に不正メッセージを捨てる。
分析面では,我々のプロトコルがゼロエラーで正しいことを証明し,ランダムオラクルモデルにおける3つのステートメントを証明し,いずれも強い並列化問題に還元する:セッションキーの受動的敵に対する不明瞭性,盲点要素の秘密性,盲点輸送の完全性。
決定的群作用の仮定は、非原始判別群のクラス群作用に対して誤りである。
また、目隠しキーは、確立しようとするセッションの秘密から来ないことも示しています。
設計をインスタンス化するために、パラメータを選択し、楕円曲線の離散対数に対して選択された素数は使用不可能であることを示す:$p = 2^{521}-1$, NIST P-521 素数の場合、その作用は効率よく評価可能な生成元を認めない。
実用面では、設計を構築し、テストします。
我々は、C言語とPythonで2度実装し、その2つをクロスチェックし、フィールド操作、時間、メモリにおけるセッションのコストを計測する。
フィールド演算と対称層は、何も示さず、グループアクションは、構成によってキーをリークし、200のタイミングで、一ノルムが370のうち5つ異なる2つのキーを分離する。
最後に、私たちが証明していないことを述べます。そのうちの1つは、一時的なキーの公開によるセキュリティ、ブラインドのフォワードシークレット、そして一定の時間実行です。
関連論文リスト
- Send and Pretend: Exploiting Transcript Consistency Issues in End-to-End Encrypted Group Chats [1.8831329126144525]
Threema、WhatsApp、Signal、iMessageは最近、グループ内の合意プロセスを支援する投票を導入した。
これは暗黙的に、すべての参加者が同じ結果を見て、したがって会話の同じ見方を持つという期待を定めている。
この研究で、今日の主要なE2EEメッセンジャーは、グループチャットの書き起こし一貫性をいかなる形でも保証していないことを実証する。
論文 参考訳(メタデータ) (2026-07-29T22:54:21Z) - QUACK! Making the (Rubber) Ducky Talk: A Systematic Study of Keystroke Dynamics for HID Injection Detection [60.105690843777666]
我々は、タイミング機能のみで動作する軽量モデルを使用して、堅牢でプライバシー保護の検知が達成可能であることを示す。
分析の結果,攻撃者の高度化は単調に回避を改善できないことが明らかとなった。
論文 参考訳(メタデータ) (2026-04-17T08:53:24Z) - Undetectable Conversations Between AI Agents via Pseudorandom Noise-Resilient Key Exchange [7.877552575246053]
AIエージェントは、正直な対話と計算的に区別できない書き起こしを生成しながら、並列な秘密の会話を実行できることを示す。
我々は、擬似ランダムノイズ耐性鍵交換と呼ばれる新しい暗号プリミティブを導入する。
結果は、転写監査だけでAIエージェント間の秘密調整を除外できないことを示している。
論文 参考訳(メタデータ) (2026-04-06T15:25:38Z) - DP-Fusion: Token-Level Differentially Private Inference for Large Language Models [51.71591819896191]
大規模言語モデル(LLM)は、推論時にプライバシを保存しない。
DP-Fusion は LLM の出力にコンテキスト内のトークンの集合が持つ影響を証明的に束縛する。
提案手法は, 理論的および実証的プライバシを大幅に改善した, 証明可能な民営化文書を作成する。
論文 参考訳(メタデータ) (2025-07-06T20:49:39Z) - Cloning Games, Black Holes and Cryptography [50.022147589030304]
クローンゲーム解析のための新しいツールキットを提案する。
このフレームワークにより、バイナリフェーズ状態に基づいて新しいクローンゲームを分析することができる。
連成位相の変分最適境界は、ブラックホールの理想化されたモデルで衝突する情報について定量的な洞察を与えることを示す。
論文 参考訳(メタデータ) (2024-11-07T14:09:32Z) - Trustless Distributed Symmetric-key Encryption [0.6597195879147557]
我々は、しきい値暗号としきい値復号の両方を可能にする対称鍵設定に焦点を当てる。
これまでの仕事は信頼できる第三者の存在に依存していた。
我々は,ディーラーフリーの設備を設計することで,信頼できる第三者の要求を解消することを提案する。
論文 参考訳(メタデータ) (2024-08-28T20:56:30Z) - Provably Secure Non-interactive Key Exchange Protocol for Group-Oriented Applications in Scenarios with Low-Quality Networks [11.986730976775437]
非インタラクティブキー交換(NIKE)は、2つまたは複数のパーティが相互作用を必要とせずに(グループ)セッションキーを導出することを可能にする。
動的グループにおけるセキュアな通信のためのセキュアで効率的なNIKEプロトコルを提案する。
論文 参考訳(メタデータ) (2024-06-21T09:49:29Z) - Publicly-Verifiable Deletion via Target-Collapsing Functions [81.13800728941818]
ターゲットの折り畳みは、公開可能な削除(PVD)を可能にすることを示す。
我々は、弱い暗号的仮定から公開可能な削除を支援する様々なプリミティブを得るために、このフレームワークを構築している。
論文 参考訳(メタデータ) (2023-03-15T15:00:20Z) - WR-ONE2SET: Towards Well-Calibrated Keyphrase Generation [57.11538133231843]
キーワード生成は、入力文書を要約する短いフレーズを自動的に生成することを目的としている。
最近登場したONE2SETパラダイムは、キーフレーズをセットとして生成し、競争性能を達成した。
本稿では, ONE2SET を拡張した WR-ONE2SET を提案する。
論文 参考訳(メタデータ) (2022-11-13T09:56:24Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳(メタデータ) (2022-03-03T10:07:32Z) - Security and Privacy Enhanced Gait Authentication with Random
Representation Learning and Digital Lockers [3.3549957463189095]
慣性センサーによってキャプチャされた歩行データは、ユーザ認証において有望な結果を示している。
既存のほとんどのアプローチでは、登録された歩行パターンをパターンと一致させるために安全に保存しているため、重要なセキュリティとプライバシの問題が発生している。
本稿では,歩行データからユーザ認証のためのランダムキーを生成するゲイト暗号システムを提案する。
論文 参考訳(メタデータ) (2021-08-05T06:34:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。