論文の概要: From if to Oops: Turning a conditional into a key-recovery oracle

• arxiv url: http://arxiv.org/abs/2610.39910v1
• Date: Thu, 29 Oct 2026 12:19:20 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-11-02 22:19:55.768861
• Title: From if to Oops: Turning a conditional into a key-recovery oracle
• Title（参考訳）: if から Oops: 条件を key-recovery オラクルに変換する
• Abstract要約: すべてのシークレット依存ステップは、実行中の固定されたパブリックポイントで発生するので、アタッカーは同じステップを繰り返すことができる。 我々は, 耐故障性には決定論の放棄が必要であると主張し, ランダム化による対策を提案する。
• 参考スコア（独自算出の注目度）: 0.3823356975862005
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Deterministic variants of CSIDH remove randomness from the group action, either through implementation techniques or, as in Houben's deterministic CSIDH and OSIDH-LD, by design. Since earlier fault attacks on CSIDH mostly target random point sampling, determinism seems to close that avenue. We show that it opens another: every secret-dependent step occurs at a fixed, public point of every execution, so an attacker can fault the same step repeatedly. Our attack forces the mask that selects which of two lanes computes the next isogeny to zero, for example by skipping one instruction. Whether the output changes reveals whether a secret exponent reaches a chosen threshold, and a binary search over these thresholds recovers the full key with one fault per execution: at most 297 oracle queries for OSIDH-LD and 222 for deterministic CSIDH with CSIDH-512-sized keys. We recover full OSIDH-LD keys in a software fault simulation of the reference implementation, and show on a ChipWhisperer-Lite that the targeted instruction is skipped with probability at least 0.94 at an isolated fault position. Finally, we argue that fault resistance requires giving up determinism, and propose countermeasures relying on randomization.
• Abstract（参考訳）: CSIDHの決定論的変種は、グループアクションから、実装技術またはフーベンの決定論的CSIDHやOSIDH-LDのようなランダム性を設計によって除去する。 CSIDHに対する初期の障害攻撃は、主にランダムな点サンプリングを標的としていたため、決定論はその経路を閉じたようである。 すべてのシークレット依存ステップは、すべての実行の固定されたパブリックポイントで発生し、アタッカーは同じステップを繰り返すことができる。 我々の攻撃は、例えば1つの命令をスキップすることで、2つのレーンのうちどれが次の等質をゼロに計算するかを選択するマスクを強制する。 出力変更が秘密指数が選択しきい値に達するかどうかを明らかにし、これらのしきい値を超えるバイナリ検索は、実行毎に1つの障害で全鍵を回復する:OSIDH-LDの少なくとも297のオラクルクエリとCSIDH-512サイズの決定論的CSIDHの222。 我々は、参照実装のソフトウェアフォールトシミュレーションにおいて、OSIDH-LDキーを完全に復元し、ターゲット命令が分離されたフォールト位置で0.94の確率でスキップされることをChipWhisperer-Liteで示す。 最後に, 耐故障性には決定論の放棄が必要であり, ランダム化による対策を提案する。

関連論文リスト

• Navigating Epistemic Parity in LLM Agents: A Benchmark for Cross-Source Conflict Resolution Between Memory and Procedural Skills [0.0]
  生産LLMエージェントは、徐々にエピソードメモリパイプラインと手続き的スキルモジュールをタンデムで実行している。 我々は、LLMエージェントがこれらのクロスソース競合をどのように適応させるかを測定するためのベンチマークを導入する。
  論文  参考訳（メタデータ） (2026-10-23T13:00:06Z)
• MemRiskBench: Trace-Aware Risk-Preserving Evaluation for Long-Horizon LLM Agents [5.605743575854166]
  MemRiskBenchは、完全なトレースログを持ち、パス/フェイルパスにLLM-as-judgeを含まない120文字のスクリプトベンチマークである。 リスク保存サブセットセレクタは、トレーサグラウンド決定性特徴を用いたリスクタイプカバレッジとハイリスク検出を保持する。 すべてのエピソード、トレース、スコアリング実装、セレクタがリリースされ、再現可能な評価と、デプロイされたLDMエージェントのリスク評価をサポートする。
  論文  参考訳（メタデータ） (2026-09-14T03:31:19Z)
• MCSI: A Masked Commutative Supersingular Isogeny Key Exchange with Blinded Ephemeral Keys [0.0]
  我々はCSIDHクラスグループアクションで設計した2つのメッセージキー交換であるMCSIを紹介する。 デザインは暗黙的な相互認証を与え、eavesdropperから短命の要素を隠蔽し、受信者は1つのタグチェック後に不正メッセージを捨てる。 分析面では,我々のプロトコルがゼロ誤差で正しいことを証明し,ランダムオラクルモデルにおける3つのステートメントを証明した。 また、目隠しキーは、確立しようとするセッションの秘密から来ないことも示しています。
  論文  参考訳（メタデータ） (2026-08-23T10:59:30Z)
• Amortised Post-Hoc Explanation with Exact Preservation for Dynamic Graph Anomaly Detectors [2.169919643934826]
  動的グラフにおける異常検出は、金融詐欺分析、侵入検知、プラットフォームの整合性を支える。 エッジがフラグ付けされた場合、アナリストはスコアのみを受け取る。 我々は、トレーニングされた凍結されたStrGNNをラップし、フラグ付きエッジ毎に出力する、ポストホックな説明層であるX-StrGNNを紹介する。
  論文  参考訳（メタデータ） (2026-08-16T06:10:40Z)
• From I/O to Code with Discovery Agent [103.88427301265669]
  IO2Codeの発見エージェントであるDIO-Agentを提案する。 本手法は,プログラム空間上の進化的探索としてIO2Codeをフレーム化する。 大規模な実験により、DIO-Agentは従来のプログラムバイサンプル法とSOTA進化エージェントベースラインの両方を一貫して上回っていることが示された。
  論文  参考訳（メタデータ） (2026-05-14T18:57:32Z)
• Unveiling ECC Vulnerabilities: LSTM Networks for Operation Recognition in Side-Channel Attacks [6.373405051241682]
  楕円曲線暗号に対するサイドチャネル攻撃を行うための新しい手法を提案する。 我々は、電力トレースを分析し、動作パターンを特定するために、LSTM(long-short-term memory)ニューラルネットワークを採用する。 本研究では、現在の対策、特に座標ランダム化手法は、側流路を保護するには不十分であることを示す。
  論文  参考訳（メタデータ） (2025-02-24T17:02:40Z)
• Uncertainty is Fragile: Manipulating Uncertainty in Large Language Models [79.76293901420146]
  大規模言語モデル(LLM)は、出力の信頼性が不可欠である様々な高い領域で採用されている。 本研究では,不確実性推定の脆弱性を調査し,攻撃の可能性を探る。 攻撃者がLSMにバックドアを埋め込むことができ、入力中の特定のトリガーによって起動されると、最終的な出力に影響を与えることなくモデルの不確実性を操作できることを示す。
  論文  参考訳（メタデータ） (2024-07-15T23:41:11Z)
• Sparse and Imperceptible Adversarial Attack via a Homotopy Algorithm [93.80082636284922]
  少数の敵対的攻撃は、数ピクセルを摂動するだけでディープ・ネットワーク(DNN)を騙すことができる。 近年の取り組みは、他の等級のl_infty摂動と組み合わせている。 本稿では,空間的・神経的摂動に対処するホモトピーアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2021-06-10T20:11:36Z)
• Composite Adversarial Attacks [57.293211764569996]
  敵対攻撃は、機械学習(ML)モデルを欺くための技術です。 本論文では,攻撃アルゴリズムの最適組み合わせを自動的に探索するための複合攻撃法(Composite Adrial Attack,CAA)を提案する。 CAAは11の防衛でトップ10の攻撃を破り、時間の経過は少ない。
  論文  参考訳（メタデータ） (2020-12-10T03:21:16Z)

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

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