Toward Quantum-Safe Software Engineering: A Vision for Post-Quantum Cryptography Migration

• URL: http://arxiv.org/abs/2602.05759v1
• Date: Thu, 05 Feb 2026 15:27:30 GMT
• Title: Toward Quantum-Safe Software Engineering: A Vision for Post-Quantum Cryptography Migration
• Authors: Lei Zhang,
• Abstract summary: Migrating legacy software to quantum-safe algorithms is not a simple library swap.<n> Existing vulnerability detection, side-channel sensitivity, and testing tools are not designed for quantum-safe algorithms.<n>This paper outlines a vision for a new class of tools and introduces the Automated Quantum-safe Adaptation (QuA) framework.
• Score: 5.589961715298686
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: The quantum threat to cybersecurity has accelerated the standardization of Post-Quantum Cryptography (PQC). Migrating legacy software to these quantum-safe algorithms is not a simple library swap, but a new software engineering challenge: existing vulnerability detection, refactoring, and testing tools are not designed for PQC's probabilistic behavior, side-channel sensitivity, and complex performance trade-offs. To address these challenges, this paper outlines a vision for a new class of tools and introduces the Automated Quantum-safe Adaptation (AQuA) framework, with a three-pillar agenda for PQC-aware detection, semantic refactoring, and hybrid verification, thereby motivating Quantum-Safe Software Engineering (QSSE) as a distinct research direction.

Related papers

• Towards Quantum-Resistant Trusted Computing: Architectures for Post-Quantum Integrity Verification Techniques [0.0]
  The transition of firmware protection to Post-Quantum Cryptography (PQC) is urgent.<n>This paper offers an analysis of the most common trust techniques and their roadmap towards a Post-Quantum (PQ) world.
  arXiv  Detail & Related papers  (2026-01-16T08:52:09Z)
• QuantumShield: Multilayer Fortification for Quantum Federated Learning [7.283533791778357]
  We propose a quantum-secure federated learning (QFL) framework designed to safeguard distributed learning systems against the emerging threat of quantum-enabled adversaries.<n>We integrate and rigorously evaluate advanced quantum and post-quantum protocols to fortify the QFL process against both classical and quantum threats.
  arXiv  Detail & Related papers  (2025-10-27T02:59:33Z)
• Red Teaming Quantum-Resistant Cryptographic Standards: A Penetration Testing Framework Integrating AI and Quantum Security [1.0152838128195467]
  This study presents a structured approach to evaluating vulnerabilities within quantum cryptographic protocols.<n>It focuses on the BB84 quantum key distribution method and National Institute of Standards and Technology (NIST) approved quantum-resistant algorithms.<n>By integrating AI-driven red teaming, automated testing, and real-time anomaly detection, the research develops a framework for assessing and mitigating security risks in quantum networks.
  arXiv  Detail & Related papers  (2025-09-26T10:36:59Z)
• Quantum Resource Management in the NISQ Era: Implications and Perspectives from Software Engineering [44.99833362998488]
  We analyze the role of resources in current uses of NISQ devices, identifying their relevance and implications for quantum software engineering.<n>We aim to strengthen the field of Quantum Resource Estimation (QRE) and move toward scalable and reliable quantum software development.
  arXiv  Detail & Related papers  (2025-08-06T19:15:57Z)
• Performance and Storage Analysis of CRYSTALS Kyber as a Post Quantum Replacement for RSA and ECC [45.88028371034407]
  CRYSTALS-Kyber is a post-quantum cryptographic solution standardized by NIST in 2022.<n>This study evaluates Kyber's practical viability through performance testing across various implementation schemes.
  arXiv  Detail & Related papers  (2025-08-03T09:53:45Z)
• Adversarial Threats in Quantum Machine Learning: A Survey of Attacks and Defenses [2.089191490381739]
  Quantum Machine Learning (QML) integrates quantum computing with classical machine learning to solve classification, regression and generative tasks.<n>This chapter examines adversarial threats unique to QML systems, focusing on vulnerabilities in cloud-based deployments, hybrid architectures, and quantum generative models.
  arXiv  Detail & Related papers  (2025-06-27T01:19:49Z)
• Evaluating the Potential of Quantum Machine Learning in Cybersecurity: A Case-Study on PCA-based Intrusion Detection Systems [42.184783937646806]
  We investigate the potential impact of quantum computing and machine learning (QML) on cybersecurity applications of traditional ML.<n>First, we explore the potential advantages of quantum computing in machine learning problems specifically related to cybersecurity.<n>Then, we describe a methodology to quantify the future impact of fault-tolerant QML algorithms on real-world problems.
  arXiv  Detail & Related papers  (2025-02-16T15:49:25Z)
• Practical hybrid PQC-QKD protocols with enhanced security and performance [44.8840598334124]
  We develop hybrid protocols by which QKD and PQC inter-operate within a joint quantum-classical network. In particular, we consider different hybrid designs that may offer enhanced speed and/or security over the individual performance of either approach.
  arXiv  Detail & Related papers  (2024-11-02T00:02:01Z)
• Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
  Quantum computing sets the foundation for new ways of designing algorithms. New challenges arise concerning which field quantum speedup can be achieved. Looking for the design of quantum subroutines that are more efficient than their classical counterpart poses solid pillars to new powerful quantum algorithms.
  arXiv  Detail & Related papers  (2024-02-26T09:32:07Z)
• Instantaneous Quantum Polynomial-Time Sampling and Verifiable Quantum Advantage: Stabilizer Scheme and Classical Security [1.5647673631415648]
  We introduce a family of IQP sampling protocols called the stabilizer scheme.<n>We also introduce the Hidden Structured Code (HSC) problem as a well-defined mathematical challenge.
  arXiv  Detail & Related papers  (2023-08-14T14:03:33Z)
• Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
  We propose circuit-oriented symmetry verification that are capable of verifying the commutativity of quantum circuits without the knowledge of the quantum state. In particular, we propose the Fourier-temporal stabilizer (STS) technique, which generalizes the conventional quantum-domain formalism to circuit-oriented stabilizers.
  arXiv  Detail & Related papers  (2021-12-27T21:15:35Z)

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.