論文の概要: The Price of Peeking: Anytime-Valid Leakage Detection on ML-KEM EM Traces
- arxiv url: http://arxiv.org/abs/2609.33597v1
- Date: Sun, 27 Sep 2026 14:14:10 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-05 15:26:20.880524
- Title: The Price of Peeking: Anytime-Valid Leakage Detection on ML-KEM EM Traces
- Title(参考訳): Peeking の価格:ML-KEM EM トレースにおける任意のValid Leakage 検出
- Abstract要約: 本研究は, ベットによる検査に基づく漏洩検出について検討する。
13000~20000のサンプルに対して繰り返し表示される$|t|>4.5$は2.7-12.9%の複製で誤報を発生させた。
- 参考スコア(独自算出の注目度): 45.88028371034407
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Side-channel evaluators routinely inspect leakage tests while acquisition is still running, and extend or stop the campaign based on what they see. Fixed-horizon screening such as the Welch $t$-test with threshold $|t|>4.5$ gives no error guarantee for this monitored decision rule. We study anytime-valid leakage detection based on testing by betting: SKIT-type swap-pair e-processes whose false-alarm probability is controlled uniformly over time under an explicit conditional symmetry null. In matched comparisons that share the frozen witness, rows and payoff, first-crossing detection needed 1.68-2.00$\times$ the traces of a fixed-horizon randomization test at 80% detection on synthetic streams, and 1.68-2.38$\times$ on degraded recordings from an open ML-KEM electromagnetic dataset with the primary Ridge witness at $α=0.05$. With the same primary witness and level, on undegraded reference and pqm4 recordings the monitored procedure stopped early: its median stopping point was 62-72 and 146-316 evaluation traces, i.e. 2-8% of a conservative 4096-trace budget. Under exact designed nulls on the recorded backgrounds, repeated-look $|t|>4.5$ screening over all 13000-20000 samples raised a false alarm in 2.7-12.9% of replicates, against 0.0-4.7% for terminal-only screening and no rejection by a sample-wise e-Bonferroni process, which in a prespecified follow-up detected natural-label associations in 4 of 4 backgrounds after 840-3288 traces. All recordings come from one device, and natural-label results are descriptive; we state the assumptions each claim requires.
- Abstract(参考訳): サイドチャネル評価者は、買収が進行中のときに定期的にリークテストを調べ、彼らが見ているものに基づいてキャンペーンを延長または停止する。
Welch $t$-test with threshold $|t|>4.5$のような固定水平スクリーニングは、この監視された決定ルールに対するエラー保証を与えない。
SKIT-type swap-pair e-processes that false-alarm probability are uniformly by time over an explicit conditional symmetric null。
凍結した証人、行、ペイオフを共有する比較では、最初の交差検出には1.68-2.00$\times$と1.68-2.38$\times$と1.68-2.38$\times$と1.68-2.38$\times$が必要とされる。
主要な目撃者とレベルは同じで、未劣化の基準とpqm4の記録では、監視された手順は早期に停止し、中央の停止地点は62-72と146-316であり、すなわち保守的な4096トラスの予算の2-8%であった。
記録された背景の正確な設計上のヌルの下で、13,000-20000のサンプルを繰り返す$|t|>4.5$は、2.7-12.9%の複製で誤報を発生させ、端末のみのスクリーニングでは0.0-4.7%、サンプルワイドの e-Bonferroni プロセスでは拒絶しない。
すべての記録は1つのデバイスから得られ、自然ラベルの結果は記述的です。
関連論文リスト
- COGNIT-Guard: Calibrated Standalone Direct-Decision Guardrails with Heterogeneous CPU-NPU Confidence Cascading under Explicit Latency and False-Positive Constraints [6.078726431806193]
実時間プレインジェクション安全ガードレールの独立直接決定基盤モデルの校正について検討した。
検証校正型CPUゲートキーパと信頼ゲートエスカレーションを結合したCOGNIT-GuardをNPUレジデント322M双方向直接決定モデルに提案する。
論文 参考訳(メタデータ) (2026-09-27T15:32:15Z) - Audit-First VAPO: Risk-Certified Selective Updates under Imperfect Verification [23.835119696596095]
不完全な検証者は、クリップングや正規化がその大きさを束縛している場合でも、有害な更新を割り当てることができる。
Audit-First VAPOを導入し、離散的な方向入力と連続的な等級制御を分離する。
論文 参考訳(メタデータ) (2026-09-27T15:21:45Z) - Where the Numbers Come From: Auditing Evaluation in Provenance-Based Intrusion Detection [42.49426058823369]
証明に基づく侵入検知器のスコアを再現しても、そのアラームの出力やエンコーダが使用する情報についてそのスコアが何を言っているかは定かでない。
我々は、リリースした9つの実装を監査し、独自のコードを使用して4つの検出器を実行し、3つの測定効果を分離する。
論文 参考訳(メタデータ) (2026-09-27T13:01:02Z) - One Human, $N$ Agents: Audit-Budget Allocation for LLM Agent Fleets under Miscalibrated, Correlated Confidence [41.99844472131922]
一人の人間が1ラウンド当たり$N$ LLMエージェントを予算$B ll N$監査で監査しなければならない。
我々はこれを、2段階のガウス的コーパスに対する予算付きノイズ検査としてモデル化し、信頼度の高い監査がランダムである場合の誤校正しきい値($*$過去)を特定する。
論文 参考訳(メタデータ) (2026-07-30T14:52:36Z) - Wolff-Parkinson-White Detection at 471:1 Class Imbalance: A Leakage-Controlled Study of the Data Bottleneck [0.0]
Wolff-Parkinson-White症候群 (WPW) は先天性心前駆症であり、臨床的には重要であり、12誘導心電図では欠落することが多い。
PTB-XL と Chapman-Shaoxing-Ningbo の2つの公開 12-lead corpora: 66,951 レコード,142 レコードの WPW は 0.21% (約471:1) である。
事前に規定された1つのリーク制御プロトコルの下では、ホールドアウトフォールドが正確に1回接触し、信号の7つの表現を比較し、分割と評価を固定する。
論文 参考訳(メタデータ) (2026-07-27T20:57:46Z) - The Hallucination Snowball: Modeling Error Propagation as State Transitions in Multi-Agent LLM Pipelines [0.17188280334580197]
ステージ1で注入された幻覚は単に持続するだけでなく、変化することを示す。
我々はこれを4つの状態におけるマルコフ過程である幻覚雪玉効果として定式化する。
論文 参考訳(メタデータ) (2026-06-22T06:32:00Z) - Stochastic Estimation of the Layer-wise Hessian Trace for Monitoring Neural-network Training [45.88028371034407]
本稿では,ニューラルネットワークの経験的リスクであるヘッセン行列の対角ブロックの軌跡のパラメータ推定器を提案する。
この手順はハッチンソントレース推定器とパラメータベクトル全体の上の1つのヘッセンベクトル積を組み合わせたものである。
重み分担の下での正しさは,第2次微分の前に階層的にヘッセンを組み立てる必要があることを示す。
論文 参考訳(メタデータ) (2026-05-25T10:24:32Z) - Correction and Corruption: A Two-Rate View of Error Flow in LLM Protocols [51.56484100374058]
そこで本研究では,単一プロトコルステップを正確なマッチングタスクで監査するためのペアアウトカム計測インタフェースを提案する。
各インスタンスについて、インターフェースはベースラインの正当性ビットと後ステップの正当性ビットを記録する。
これらのレートは精度の変化を予測し、種、混合物、パイプライン間でテスト可能な再利用可能な経験的インターフェースを定義する。
論文 参考訳(メタデータ) (2026-04-20T13:25:40Z) - The Good, the Bad, and the Sampled: a No-Regret Approach to Safe Online Classification [25.36548531839979]
本研究は, リスクが未知のロジスティックモデルによって管理される2次性疾患の結果に対して, 個人を順次検査する問題について考察する。
我々のゴールは、必要となるコストのかかるテストの総数を最小限に抑えながら、誤分類のごく一部が予め特定されたエラー耐性を超えないことを保証することです。
これにより、エラー制約のあるロジスティックテストに対する最初のノンレグレット保証が確立され、コストセンシティブな医療スクリーニングに直接適用される。
論文 参考訳(メタデータ) (2025-10-01T15:28:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。