The Migration Problem

The algorithms exist. NIST published its first post-quantum cryptographic standards in 2024: ML-KEM (CRYSTALS-Kyber) for key encapsulation, ML-DSA (CRYSTALS-Dilithium) for digital signatures, and SLH-DSA (SPHINCS+) for hash-based signatures . Standards exist. What does not exist, at any meaningful scale, is the organisational capability to deploy them.

This has stopped being a cryptographic problem. It is a people problem and a software engineering problem that happens to wear a cryptography hat. The companion theoretical review covered the mathematical foundations. This article turns to the harder question: whether the engineering, educational, and organisational infrastructure can be built in time.

NIST Standardisation: What It Settled and What It Left Open

What NIST Resolved

The NIST PQC competition (2016-2024) resolved the primary algorithm selection question through an open, multi-round evaluation process:

Algorithm Standard Type Primary Use Case Key Size (bytes)
CRYSTALS-Kyber ML-KEM (FIPS 203) Lattice-based KEM Key encapsulation 1,184 (pub) / 2,400 (priv)
CRYSTALS-Dilithium ML-DSA (FIPS 204) Lattice-based signature Digital signatures 1,952 (pub) / 4,000 (priv)
SPHINCS+ SLH-DSA (FIPS 205) Hash-based signature Conservative signatures 64 (pub) / 128 (priv)
Falcon FN-DSA (draft) Lattice-based signature Compact signatures 1,793 (pub) / 2,305 (priv)
Table 1: NIST-standardised PQC algorithms. Key sizes shown at Security Level 3 (192-bit classical equivalent). Note: "Security Level 3" maps to different parameter sets per algorithm; direct key-size comparison across schemes should account for differing internal structures. The Falcon private key figure (2,305 bytes) is taken from specification documents and should be verified against the final FIPS 206 publication when available.

What Remains Open

Code-based KEM candidates (HQC, BIKE) remain under fourth-round evaluation. If standardised, they would provide algorithm diversity beyond the lattice family, which matters for systemic risk management .

Post-quantum zero-knowledge proofs account for roughly 13% of recent PQC publications , but mature constructions ready for standardisation do not yet exist.

Interoperability testing across implementations (liboqs, BouncyCastle, AWS-LC, wolfSSL) is still ad-hoc. No systematic cross-implementation validation programme exists.

Research Mapping

Song and Kim applied LDA topic modelling to 189 PQC papers published in the year following NIST’s 2022 announcement . The distribution reveals where research effort concentrates:

Research Topic Share Interpretation
Hardware acceleration of NIST PQC 21% Implementation optimisation dominates
Digital signatures 21% Signature diversity beyond Dilithium
Analysis of NIST PQC candidates 18% Ongoing security scrutiny
Signature and key exchange 16% Protocol integration
Zero-knowledge proofs 13% Emerging application area
Cryptographic approaches in blockchains 11% Cross-domain application
Table 2: PQC research topic distribution (Song and Kim, 2023; LDA on 189 papers, Aug 2022 to Jul 2023).

Observation: NIST-related topics (hardware acceleration + candidate analysis) account for 39% of all PQC research activity, confirming that the standardisation process is the dominant organising force for the field.

Automated Code Migration: ccPASTpqc

The most novel contribution in the migration space comes from Wahlang and Vidhani, who apply code language models (CLMs) to automate the translation of quantum-vulnerable Python code to PQC-safe equivalents .

The Problem

Enterprise codebases are littered with cryptographic call sites. from Crypto.PublicKey import RSA. nacl.public.PrivateKey(). ec.generate_private_key(ec.SECP256R1()). Each one needs to be found, understood, and replaced. Manual migration at enterprise scale is slow enough to be measured in years rather than sprints, and Mosca’s inequality tells us that migration time (T) is the one variable organisations can actually compress. That is ccPASTpqc’s target.

The Approach

  1. Dataset creation: Manual construction of parallel classical → PQC Python program pairs from four libraries (PyCryptodome, PyNaCl, Cryptography, OpenSSL) and their PQC counterparts (pqcrypto, liboqs-python)
  2. Data augmentation: 11 variant-generation techniques expanding the training set
  3. Model fine-tuning: CodeT5 (Seq2Seq transformer) fine-tuned on the parallel corpus
  4. Novel chunking: Pairwise AST-based chunking that preserves semantic alignment between source and target programs, overcoming context-length limitations

Results and Limitations

Metric Score Context
BLEU (GitHub projects) 0.925 High translation fidelity on real-world code
CodeBLEU Comparable Captures syntactic + semantic similarity
Dataset size ~500 pairs Small by ML standards
Language coverage Python only No C/C++, Java, Go support
Table 3: ccPASTpqc performance metrics (Wahlang and Vidhani, 2026).

Critical caveat: A 0.925 BLEU score tells you the output text looks like correct code. It does not tell you whether the code compiles, passes tests, or preserves the security properties of the original implementation. The translated GitHub code was never execution-tested . Anyone who has spent time debugging LLM-generated code knows the gap between “syntactically plausible” and “silently violates an invariant that a human developer would catch by instinct.” For production migration, execution testing and security auditing of every translated function are non-negotiable.

Practical gap: Most production cryptographic code lives in C, C++, Java, and Go. ccPASTpqc covers Python only. This is a proof of concept, not a migration tool you can hand to your engineering team and walk away.

What Practitioners Should Do Now

  • Use ccPASTpqc-style tools for initial translation drafts, then review and test manually
  • Invest in cryptographic dependency inventories before migration (you cannot migrate what you have not catalogued)
  • Prioritise asymmetric key operations (symmetric encryption requires only key-size increases)

Hybrid QKD/PQC Network Architectures

Shim et al. propose a practical network architecture combining quantum key distribution (QKD) with PQC algorithms within TLS 1.3 . The architecture addresses a fundamental limitation of QKD: it requires dedicated quantum hardware on every network segment, which is infeasible for wide-area networks.

Architecture Design

The hybrid approach segments the network into zones:

  1. QKD-protected zones: Metropolitan-area links with installed quantum hardware use QKD for key distribution
  2. PQC-protected zones: Long-haul and access network segments without quantum hardware use PQC algorithms within TLS 1.3
  3. Bridge zones: Quantum Key Management Systems (QKMS) translate between QKD-derived keys and PQC-encapsulated keys
Network Segment Key Distribution Encryption Protocol
Data centre to metro QKD (BB84) AES-256-GCM QKD channel
Metro to regional PQC (ML-KEM) AES-256-GCM TLS 1.3 + PQC extensions
Regional to edge PQC (ML-KEM) AES-256-GCM TLS 1.3 + PQC extensions
Bridge QKMS translation Re-keying Proprietary
Table 4: Hybrid QKD/PQC network zone architecture (synthesised from Shim et al., 2024).

TLS 1.3 PQC Integration

The extensible design of TLS 1.3 supports PQC integration through two mechanisms:

  • key_share extension: Carries PQC KEM ciphertexts alongside or instead of classical ECDH shares
  • signature_algorithms extension: Advertises support for PQC digital signatures (ML-DSA, SLH-DSA)

This means PQC slots into the existing TLS protocol framework without protocol-level redesign. No new wire format. No renegotiation of the handshake state machine. That is a critical practical advantage over QKD, which demands entirely new physical infrastructure at every hop.

The Workforce Readiness Gap

Three independent studies, from different countries and targeting different audiences, arrive at the same uncomfortable finding: the technical tools for PQC migration exist, but trained practitioners do not. Not at scale. The evidence comes from small programmes, and the confidence we can place in their generalisability is limited, but the consistency of direction across uncoordinated efforts is worth noting.

Evidence from Three Educational Programmes

Programme Institution Audience Format Key Finding
PQC Course RIT (USA) Graduate students Full semester course Bottom-up pedagogy works; “PQC” name confuses students
Modular PQC RIT + U. Rochester High school to graduate Embeddable modules Lowers adoption barrier; no curriculum approval needed
PQCIP Monash (Australia) Industry professionals 3-module programme Exposing individual crypto operations improves understanding
Table 5: PQC educational programmes assessed in this review.

Key Pedagogical Insights

Bottom-up teaching outperforms top-down. Start with simple worked examples; build toward complex cryptosystems. Borrelli et al. found this more effective than presenting abstract definitions first . One exception: graduate students with mathematical maturity benefited from top-down presentations. The implication is clear: differentiated pedagogy is necessary, not optional.

The name “Post-Quantum Cryptography” actively misleads. Students consistently interpreted it as “cryptography that uses quantum computers” rather than “cryptography that resists quantum computers” . Small nomenclature problem; enormous pedagogical consequences. Borrelli et al. suggest “Quantum-Resistant Cryptography” as a clearer alternative, and having watched students struggle with the term myself, I suspect they are right.

Exposing individual operations matters more than you would expect. Standard tools like GPG and OpenSSL abstract cryptographic operations behind protocol-level interfaces. Learners never see what each step does. Steinfeld et al. built a custom software interface for CRYSTALS-Kyber that exposes key generation, encapsulation, and decapsulation separately . The result: non-programmer cybersecurity professionals could understand operations they had previously treated as black boxes.

Modular embedding is the scalable path forward. Full PQC courses require curriculum approval processes that can take years. The modular approach sidesteps this entirely. Borrelli et al. define two tiers : awareness modules (no prerequisites, suitable for high school onward, covering why current cryptography is vulnerable) and proficiency modules (requiring existing cryptography background, covering algorithm design, implementation, and NIST standard evaluation).

Workforce Strategy Recommendations

The evidence base here is thin. Three programmes at three institutions, with the largest cohort numbering 21 students. Generalisability beyond these specific contexts is unvalidated. That said, the directional findings are consistent enough to inform early planning, with the caveat that these are hypotheses worth testing at scale rather than proven prescriptions:

  1. Immediate: Deploy awareness-level PQC training across IT and security teams. This requires no curriculum restructuring and can be run as half-day workshops. The bar is low: staff should understand what the quantum threat changes and what it does not.

  2. Short-term: Establish proficiency-level training for cryptographic engineers and security architects, using hands-on tool interaction with individual operations exposed (the PQCIP model). Whether the custom-tool approach from Steinfeld et al. transfers to other institutions and audiences is an open question.

  3. Medium-term: Embed PQC modules into existing computer science and cybersecurity degree programmes. The modular approach sidesteps curriculum approval bottlenecks, which is its primary advantage.

  4. Ongoing: Maintain crypto-agility as an organisational competency, not just a technical property. When NIST publishes a deprecation notice or a new attack surfaces, the response time should be measured in weeks, not quarters.

Migration Planning Framework

Synthesising the migration-related findings yields a practical framework:

Phase 1: Inventory and Assess

  • Catalogue all asymmetric cryptographic operations across the codebase
  • Map data sensitivity lifetimes (D) and estimate migration time (T)
  • Apply Mosca’s inequality ($D + T > Q$) to prioritise categories
  • Identify cryptographic libraries in use and their PQC support status

Phase 2: Pilot and Validate

  • Deploy PQC in non-critical internal systems first
  • Test hybrid PQ/T certificates for backward compatibility
  • Evaluate automated migration tooling (ccPASTpqc for Python; manual review for other languages)
  • Benchmark PQC performance impact on latency-sensitive operations

Phase 3: Gradual Rollout

  • Enable PQC in TLS 1.3 via key_share and signature_algorithms extensions
  • Deploy dual-signature certificates during transition
  • Monitor for compatibility issues across client populations
  • Maintain classical fallback paths

Phase 4: Completion and Monitoring

  • Remove classical-only configurations once client population supports PQC
  • Establish ongoing cryptographic monitoring for algorithm deprecation announcements
  • Maintain crypto-agility for future algorithm rotations

Takeaways

NIST resolved the algorithm question. The harder problem, organisational readiness, remains largely untouched. Workforce capacity, not algorithm availability, is the binding constraint on migration timelines. Three educational programmes point in a consistent direction (modular, bottom-up, hands-on), but the evidence base is narrow: small cohorts at single institutions, one programming language, no longitudinal outcome data.

Automated migration tooling shows promise. ccPASTpqc achieves 0.925 BLEU on Python conversions, which is encouraging for draft generation but tells us nothing about functional correctness. No execution testing validates the output, and production languages (C, C++, Java, Go, Rust) lack equivalent tooling entirely. Treat it as a starting point for human review, not a substitute for it.

Hybrid QKD/PQC network integration works within the TLS 1.3 extensibility model, which removes the protocol-redesign concern. The remaining work is practical engineering: zone-based deployment, QKMS bridge infrastructure, interoperability testing with existing certificate authorities. None of this has been validated at production scale.

The migration timeline is governed by Mosca’s inequality. Organisations should compute $D + T$ for each data category and treat the result as a deadline, not a planning target.


Practitioner Questions on Migration and Readiness

How long does a typical PQC migration take for an enterprise?

There is no typical case yet. Migration timelines depend on codebase size, cryptographic dependency count, and how deeply classical algorithms are embedded in the architecture. Automated tooling can accelerate the Python fraction, but manual review is still necessary for every converted function. For large enterprises with heterogeneous stacks, expect a multi-year programme. The first step, inventorying cryptographic dependencies, can start immediately and is worth doing regardless of migration timeline.

Can TLS 1.3 support PQC without protocol changes?

Yes. TLS 1.3 was designed with extensibility in mind; the key_share and signature_algorithms extensions can carry PQC KEM ciphertexts and digital signatures within the existing handshake. No protocol redesign is required. This is one of the genuine practical advantages of PQC: the transport layer can evolve without breaking the protocol itself.

What programming languages does automated PQC code migration cover?

As of the papers reviewed here, only Python, through ccPASTpqc. Production cryptographic code in C, C++, Java, Go, and Rust requires manual migration or purpose-built tooling that does not yet exist. Given that most security-critical cryptographic implementations live in C and C++, the tooling gap is substantial.

Is “Post-Quantum Cryptography” the same as “quantum cryptography”?

No, and the confusion is not academic. Borrelli et al. found that students consistently misread “post-quantum” as meaning “cryptography that uses quantum computers” rather than “cryptography that resists quantum computers.” PQC runs on classical hardware with algorithms designed to survive quantum attacks. Quantum cryptography (QKD) uses quantum physics for key distribution. The term “Quantum-Resistant Cryptography” has been suggested as a clearer alternative.


Technical Appendix

Source Credibility, Evidence Boundaries, and Technical Reference

Appendix Table of Contents

Source Attribution and Review Context

This article is authored by Zenith Law and synthesises findings on PQC standards, migration, and education from six papers spanning SIGCSE, IEEE, and ACM venues. Borrelli et al. (2024) is published at SIGCSE, the premier CS education venue. Steinfeld et al. (2026) bring hands-on professional training experience from Monash University and industry partnerships. Wahlang and Vidhani (2026) present the first dedicated PQC code migration tool using language models. Song and Kim (2023) provide quantitative research mapping via topic modelling. Shim et al. (2024) present a hybrid network architecture aligned with South Korea’s KISTI infrastructure.

A. Evidence Boundary Notes

The ccPASTpqc results use BLEU and CodeBLEU, metrics that measure textual similarity rather than functional correctness; the authors did not execution-test their translated code on real projects. Educational programme evaluations rest on small cohorts at individual institutions (Borrelli: 14 and 21 students at RIT; Steinfeld: cohort size not reported), and the modular curriculum paper from Borrelli et al. (2026) is a 2-page poster with no assessment data. Generalising from these to workforce-wide strategy involves a significant inferential leap. The hybrid network architecture from Shim et al. is a protocol-level design; no performance benchmarks or scale testing accompany it. Song and Kim’s topic modelling covers a single year of data using bag-of-words LDA, which captures surface-level thematic distribution but cannot assess paper quality or methodological rigour.

B. Key Terms

Mosca's Inequality
$D + T > Q$ where D = data sensitivity lifetime, T = migration time, Q = time until quantum threat materialises. When the inequality holds, migration should have already begun.
QKMS (Quantum Key Management System)
Infrastructure that bridges QKD-derived symmetric keys and PQC-encapsulated keys, enabling hybrid networks where some segments use quantum hardware and others use classical infrastructure with PQC.
Pairwise AST-based Chunking
A code segmentation technique that splits source and target programs at matching Abstract Syntax Tree (AST) boundaries, preserving semantic alignment between paired program fragments for Seq2Seq model training.
CodeBLEU
An extension of BLEU that incorporates AST match and data-flow match scores alongside n-gram overlap, providing a more semantically aware evaluation of code generation quality.

C. Reviewed Sources at a Glance

Paper Year Type Key Contribution Confidence Notes
Borrelli et al. 2024 Experience report Full PQC course design + outcomes Strong venue (SIGCSE), iterative refinement
Borrelli et al. 2026 Poster Modular PQC education framework 2-page abstract only, no assessment data
Steinfeld et al. 2026 Experience report Professional PQC training + custom tool SIGCSE venue but no quantitative outcomes
Song and Kim 2023 Quantitative Research mapping via LDA Single-year snapshot, bag-of-words method
Wahlang and Vidhani 2026 Experimental LLM-based PQC code migration BLEU metrics only; no execution testing
Shim et al. 2024 Architecture Hybrid QKD/PQC network design Design only, no performance benchmarks
Table A1: Summary of reviewed literature for the standards, migration, and education domain.

D. SEO, GEO, and AEO Optimisation Notes

Primary search terms: PQC migration, NIST PQC standards, post-quantum cryptography education, automated code migration, hybrid QKD PQC network, TLS 1.3 post-quantum, Mosca inequality, crypto-agility.

Structured data: HowTo and FAQ schemas are implemented. Article schema includes author attribution and citation metadata.

Cross-references: Linked to companion PQC theoretical foundations and sector deployment articles.