The Price of Peeking: Anytime-Valid Leakage Detection on ML-KEM EM Traces

arXiv:2609.33597 · cs.CR, cs.LG · Submitted 2026-09-27 · Read on arXiv

cs.CR, cs.LG

Submitted: 2026-09-27

Updated: 2026-09-27

Code: https://github.com/a-podkopaev/Sequential-Kernelized-Independence-Testing

Terminology

• Trace — 57× in this paper · explained in 2 episodes
• alpha — 12× in this paper · explained in 1 episode
• Calibration — 4× in this paper · explained in 7 episodes
• Provenance — 2× in this paper · explained in 4 episodes
• Adam — 1× in this paper · explained in 2 episodes
• Benchmarking — 1× in this paper · explained in 3 episodes
• Consistency — 1× in this paper · explained in 3 episodes
• Generative AI — 1× in this paper · explained in 2 episodes
• Information-Theoretic Framework — 1× in this paper · explained in 2 episodes
• Regret — 1× in this paper · explained in 3 episodes
• Regularization — 1× in this paper · explained in 3 episodes
• Unified Framework — 1× in this paper · explained in 5 episodes

Sources

• SILENT: A New Lens on Statistics in Software Timing Side Channels
• Sequential Kernelized Independence Testing
• Sequential Predictive Two-Sample and Independence Testing
• Nonparametric Two-Sample Testing by Betting
• Statistical Model Checking for Hyperproperties

Related papers

• SoK: AI-Augmented Binary Reversing
• Relaxed Sender Anonymity for CBDC Interbank Settlement: A Zero-Knowledge Approach on Permissioned EVM
• Calibration-Family Overfit: Why Trusted Sabotage Monitors Don't Transfer Across Lineages
• Efficient Fuzzy PSI under One-Sided Assumptions
• Sealing the Audit-Runtime Gap for LLM Skills
• Token Composition: A Graph Based on EVM Logs