Rigorous phase-error-estimation security framework for QKD with correlated sources

• URL: http://arxiv.org/abs/2601.08417v1
• Date: Tue, 13 Jan 2026 10:35:16 GMT
• Title: Rigorous phase-error-estimation security framework for QKD with correlated sources
• Authors: Guillermo Currás-Lorenzo, Margarida Pereira, Kiyoshi Tamaki, Marcos Curty,
• Abstract summary: Practical QKD modulators introduce correlations between consecutively emitted pulses due to bandwidth limitations.<n>Our framework overcomes important limitations of previous approaches in terms of generality and rigor.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Practical QKD modulators introduce correlations between consecutively emitted pulses due to bandwidth limitations, violating key assumptions underlying many security proof techniques. Here, we address this problem by introducing a simple yet powerful mathematical framework to directly extend phase-error-estimation-based security proofs for imperfect but uncorrelated sources to also incorporate encoding correlations. Our framework overcomes important limitations of previous approaches in terms of generality and rigor, significantly narrowing the gap between theoretical security guarantees and real-world QKD implementations.

Related papers

• BarrierSteer: LLM Safety via Learning Barrier Steering [83.12893815611052]
  BarrierSteer is a novel framework that formalizes safety by embedding learned non-linear safety constraints directly into the model's latent representation space.<n>We show that BarrierSteer substantially reduces adversarial success rates, decreases unsafe generations, and outperforms existing methods.
  arXiv  Detail & Related papers  (2026-02-23T18:19:46Z)
• Open-World Deepfake Attribution via Confidence-Aware Asymmetric Learning [78.92934995292113]
  We propose a Confidence-Aware Asymmetric Learning (CAL) framework, which balances confidence across known and novel forgery types.<n>CAL consistently outperforms previous methods, achieving new state-of-the-art performance on both known and novel forgery attribution.
  arXiv  Detail & Related papers  (2025-12-14T12:31:28Z)
• An introductory review of the theory of continuous-variable quantum key distribution: Fundamentals, protocols, and security [35.18016233072556]
  Continuous-variable quantum key distribution (CV-QKD) has emerged as a promising approach for secure quantum communication.<n>CV-QKD offers advantages such as high key generation rates, compatibility with standard telecommunication infrastructure, and potential for integration on photonic chips.<n>This review provides an accessible introduction to the theory of CV-QKD, aimed at researchers entering this rapidly developing field.
  arXiv  Detail & Related papers  (2025-12-01T15:03:19Z)
• Generalized Security-Preserving Refinement for Concurrent Systems [36.14488865240512]
  We present a refinement-based compositional approach to prove that IFS properties are preserved between implementation and abstraction.<n>We apply our approach to verify two non-preserving case studies against a collection of security policies.
  arXiv  Detail & Related papers  (2025-11-10T09:06:01Z)
• RationAnomaly: Log Anomaly Detection with Rationality via Chain-of-Thought and Reinforcement Learning [27.235259453535537]
  RationAnomaly is a novel framework that enhances log anomaly detection by synergizing Chain-of-Thought fine-tuning with reinforcement learning.<n>We have released the corresponding resources, including code and datasets.
  arXiv  Detail & Related papers  (2025-09-18T07:35:58Z)
• Secure quantum key distribution against correlated leakage source [20.01403427477703]
  Quantum key distribution (QKD) provides information theoretic security based on quantum mechanics.<n>Among various source loopholes, correlations between transmitted pulses pose a significant yet underexplored security risk.<n>We propose a security analysis framework for QKD under correlations, enabling finite-key analysis for the first time.
  arXiv  Detail & Related papers  (2025-07-15T12:23:24Z)
• Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation [52.626086874715284]
  We introduce a novel problem formulation called Abstract DNN-Verification, which verifies a hierarchical structure of unsafe outputs.<n>By leveraging abstract interpretation and reasoning about output reachable sets, our approach enables assessing multiple safety levels during the formal verification process.<n>Our contributions include a theoretical exploration of the relationship between our novel abstract safety formulation and existing approaches.
  arXiv  Detail & Related papers  (2025-05-08T13:29:46Z)
• Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets [45.67587657709892]
  We introduce an epsilon-approximate Hamilton-Jacobi Partial Differential Equation (HJ-PDE), which establishes a relationship between training loss and accuracy of the true reachable set.<n>To the best of our knowledge, Certified Approximate Reachability (CARe) is the first approach to provide soundness guarantees on learned reachable sets of continuous dynamical systems.
  arXiv  Detail & Related papers  (2025-03-31T10:02:57Z)
• Application of $α$-order Information Metrics for Secure Communication in Quantum Physical Layer Design [45.41082277680607]
  We study the $alpha$-order information-theoretic metrics based on R'enyi entropy.<n>We apply our framework to a practical scenario involving BPSK modulation over a lossy bosonic channel.
  arXiv  Detail & Related papers  (2025-02-07T03:44:11Z)
• Quantum key distribution overcoming practical correlated intensity fluctuations [11.207894122345138]
  Intensity correlations between neighboring pulses open a prevalent yet often overlooked security loophole in decoy-state quantum key distribution (QKD)<n>We present and experimentally demonstrate an intensity-correlation-tolerant QKD protocol that mitigates the negative effect that this phenomenon has on the secret key rate.
  arXiv  Detail & Related papers  (2025-01-23T08:56:26Z)
• Security of high-speed quantum key distribution with imperfect sources [1.2815904071470707]
  Imperfect encoders compromise the security of quantum key distribution (QKD) systems via modulation flaws, side channels and inter-pulse correlations.<n>Here, we present a finite-key security proof approach against coherent attacks that incorporates general encoding imperfections while achieving significantly better performances and requiring only partial characterization.
  arXiv  Detail & Related papers  (2023-05-10T07:02:32Z)
• Experimental quantum secret sharing based on phase encoding of coherent states [17.01107355316032]
  We propose a quantum secret sharing protocol with simple phase encoding of coherent states among three parties. Our scheme achieves a key rate of 85.3 bps under a 35 dB channel loss.
  arXiv  Detail & Related papers  (2023-03-26T04:35:07Z)
• IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound [85.6899802468343]
  We present IBP-R, a novel verified training algorithm that is both simple effective. We also present UPB, a novel robustness based on $beta$-CROWN, that reduces the cost state-of-the-art branching algorithms.
  arXiv  Detail & Related papers  (2022-06-29T17:13:25Z)
• Experimental measurement-device-independent type quantum key distribution with flawed and correlated sources [14.143874849657317]
  Security of quantum key distribution (QKD) is threatened by discrepancies between realistic devices and theoretical assumptions. Here, we adopt the reference technique to prove security of an efficient four-phase measurement-device-independent QKD using laser pulses against potential source imperfections. In addition, we demonstrate the feasibility of our protocol through a proof-of-principle experimental implementation and achieve a secure key rate of 253 bps with a 20 dB channel loss.
  arXiv  Detail & Related papers  (2022-04-18T13:44:51Z)
• Improving Certified Robustness via Statistical Learning with Logical Reasoning [36.79881998910639]
  We propose to integrate statistical ML models with knowledge (expressed as logical rules) as a reasoning component using Markov logic networks (MLN) We show that the certified robustness with knowledge-based logical reasoning indeed significantly outperforms that of the state-of-the-arts.
  arXiv  Detail & Related papers  (2020-02-28T23:41:58Z)
• Quantum key distribution with correlated sources [1.7499351967216341]
  In theory, quantum key distribution (QKD) offers information-theoretic security. In practice, however, it does not due to discrepancies between the assumptions used in the security proofs and the behaviour of the real apparatuses. Here, we close this gap by introducing a simple yet general method to prove the security of QKD with arbitrarily long-range pulse correlations.
  arXiv  Detail & Related papers  (2019-08-22T09:05:17Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.