Threat Modeling PQC Migration · 4 of 5L3algorithms
The Migration's Own Attack Surface: Combiners, Dual Stacks, and Key-Management Gaps
The post-quantum migration is not just a defense; it is a new attack surface. Combiner bugs, dual-stack complexity, handshake bloat as a denial vector, and transitional key-management gaps make the transition period itself the most vulnerable.
Abstract
A post-quantum migration is usually analyzed for the end state it produces, but the transition itself introduces vulnerabilities that did not exist before, and this piece treats the migration as a system with its own attack surface. It covers hybrid-combiner failures that void the safe-if-either guarantee, the doubled code and configuration surface of running two cryptographic stacks, the way post-quantum handshake and certificate bloat can be weaponized into denial-of-service, and the key-management gaps that open while classical and post-quantum keys coexist and tooling is immature. It argues that the transition period is often the most vulnerable phase, precisely because both stacks and their imperfect seam are live, and lays out the controls: vetted combiners and libraries, minimized dual-stack lifetime, enforced rather than merely enabled post-quantum policy, denial-of-service protections sized for larger handshakes, and algorithm-agnostic key management. It closes with the agent-platform angle. The theme: threat-model the migration itself, not only its destination, because the seam between old and new is where an attacker strikes.
It is natural to evaluate a post-quantum migration by the security of the system it produces, but that misses where much of the risk lives. The act of migrating — running two cryptographic stacks at once, combining their outputs, provisioning new keys, carrying larger handshakes — creates vulnerabilities that neither the old system nor the fully migrated system has. The transition is a system in its own right, with its own assets, adversaries, and weaknesses, and it is often the most vulnerable phase of the whole journey. This article threat-models the migration itself: combiner failures, dual-stack complexity, bloat as a denial vector, and key-management gaps, with the controls that address each.
The new surfaces the migration creates
A migration introduces four broad categories of new vulnerability. The first is combiner failures: the hybrid construction that merges classical and post-quantum secrets is new code with its own bugs, and a flawed combiner voids the very safe-if-either guarantee the hybrid was meant to provide. The second is dual-stack complexity: running both cryptographic stacks doubles the code, configuration, and interaction surface, and every added path is a place for bugs and misconfiguration. The third is bloat weaponized into denial-of-service, as the larger post-quantum handshakes and certificates become a lever for resource-exhaustion attacks. The fourth is key-management gaps that open while classical and post-quantum keys coexist and the supporting tooling is still immature.
What unites these is that they are properties of the transition, not of either stable end state. A fully classical system does not have a combiner or a dual stack; a fully migrated system has retired them. It is precisely during the migration, when both stacks and their imperfect seam are live, that these surfaces exist, which is why the transition period deserves its own threat analysis rather than being treated as a mere waypoint between two secure states.
The rest of this article examines each surface and the controls for it. The overarching discipline is to model the migration as a system: enumerate its new components — combiners, dual-stack logic, transitional key stores — and analyze how an adversary could exploit them, exactly as one would for any new system, because in a real sense the migration is a new system temporarily bolted onto the old one.
Combiner failures and dual-stack complexity
The hybrid combiner is a small piece of new, security-critical code, and its bugs are new vulnerabilities. As the migration articles detailed, a combiner that fails to bind the transcript, uses a cancelable exclusive-or, or draws correlated randomness for its two components silently converts the intended safe-if-either guarantee into a single point of failure or worse. Because the combiner is new to the migration, it has less scrutiny than the mature schemes it combines, so using a vetted, standardized combiner rather than a bespoke one is essential — a hand-rolled combiner is exactly the kind of new-code vulnerability the transition introduces.
Dual-stack complexity is a broader version of the same problem. Supporting both classical and post-quantum cryptography means twice the algorithms, twice the configuration, and a web of interactions between the old and new paths, and complexity is the enemy of security. Misconfigurations proliferate: post-quantum enabled but not enforced, inconsistent policy across services in a mesh, a fallback path that behaves differently from the primary. The interaction between the two stacks — how they negotiate, when they fall back, how they share state — is untested territory, and untested code paths are where bugs hide.
The control for both is restraint and rigor. Use vetted combiners and libraries rather than custom code; keep the dual-stack configuration as simple and uniform as possible across the estate; and test the interaction paths — negotiation, fallback, combination — as carefully as the primary path, because an attacker will probe exactly the seam between old and new that ordinary testing neglects. Minimizing the lifetime of the dual-stack phase also minimizes the window in which this surface exists, which is a reason to migrate decisively rather than lingering indefinitely in a half-migrated state.
Bloat as a denial vector
The size increases that the migration articles treated as an efficiency concern are also a security one, because bloat can be weaponized into denial-of-service. Post-quantum handshakes are larger and post-quantum certificate chains much larger, and an attacker can exploit this: flooding a server with connection attempts that each force it to process and transmit a large certificate flight, or crafting requests that trigger the largest, most expensive post-quantum operations, consumes disproportionate memory and bandwidth. The asymmetry an attacker seeks — cheap to request, expensive to serve — is amplified by the larger post-quantum artifacts.
The larger handshakes also interact badly with the anti-amplification and buffer limits the transport articles described. An attacker can use the migration's increased sizes to push a server toward resource exhaustion or to trigger the failure modes that the middlebox and MTU issues create, turning a compatibility problem into an availability attack. The bloat that merely slowed connections in the benign case becomes a lever for denial in the adversarial one.
The controls are the standard denial-of-service defenses, sized for the new reality: rate-limiting and connection-cost accounting that reflect the larger post-quantum operations, careful memory management for the bigger artifacts, and the amplification-aware server behavior the transport articles recommended. The threat model must recognize that the migration's size increases are not only a performance line item but a denial-of-service surface, and provision defenses accordingly rather than assuming the pre-migration limits still suffice.
Key-management gaps during transition
The transition period stresses key management in ways neither end state does. New post-quantum keys must be generated, stored, rotated, and retired, alongside the classical keys still in use, and the tooling for the new algorithms is younger and less battle-tested. Hardware security modules may not yet support the new schemes, forcing keys into less protected storage; key-generation may draw on entropy or code paths that have seen less scrutiny; and the dual-key handling — deciding which key to use when, keeping the two in sync, rotating them independently — is new logic with its own failure modes. Each gap is an opportunity for an attacker or an operational error.
These gaps are especially dangerous because key management is foundational: a lapse there undermines everything above it. A post-quantum key generated with weak entropy, stored in an inadequately protected place because the hardware module does not yet support it, or mishandled by immature dual-key logic, can compromise the very confidentiality the migration was meant to strengthen. The transition's key-management immaturity is thus a first-order risk, not a peripheral one.
The control is algorithm-agnostic, robust key management built with the crypto-agility the migration series argued for: key stores and rotation pipelines that handle new algorithms as data, hardware support confirmed before reliance, validated key-generation for the new schemes, and careful, tested dual-key logic for the transition. Treating the transitional key management as a system to be secured in its own right — inventoried, tested, and monitored — is what keeps the foundation solid while both key types coexist.
Controls, and the agent platform
The controls across these surfaces share a theme: treat the migration as a system to be secured, and minimize the window in which its extra surface exists. Use vetted combiners and validated libraries, not custom code. Keep dual-stack configuration simple and uniform, and test the interaction paths. Size denial-of-service defenses for the larger post-quantum artifacts. Build algorithm-agnostic, tested key management and confirm hardware support before relying on it. And migrate decisively rather than lingering, because a shorter transition is a smaller window of exposure. Monitoring the transitional components — combiner behavior, fallback rates, key-management operations — turns the migration's surface into something observed rather than assumed safe.
The meta-lesson is that a migration threat model must include the migration, not only its destination. It is tempting to analyze only the fully post-quantum end state and treat the journey as neutral, but the journey is where combiners are new, stacks are doubled, artifacts are largest, and key management is least mature. An adversary who understands this will attack during the transition, so the defender must model and secure the transition as its own phase, with its own controls and its own end date.
For autonomous AI systems the migration surface is concentrated in the agent mesh and its identity infrastructure. Adding post-quantum cryptography to an agent service mesh creates exactly the dual-stack complexity, combiner code, handshake bloat, and transitional key management this article warns about, across a large and dynamic fleet. The guidance is to use vetted combiners and libraries in agent channels, keep the dual-stack agent configuration uniform and short-lived, provision denial-of-service defenses sized for post-quantum handshakes at agent endpoints, and build agent-identity key management to be algorithm-agnostic and tested across the transition — because for an agent platform, the migration period is precisely when the mesh is most complex and most exposed, and it is the phase a capable adversary will target.
Key takeaways
- The migration is itself an attack surface: combiner failures, dual-stack complexity, handshake bloat as a denial vector, and transitional key-management gaps are vulnerabilities that exist only during the transition.
- A flawed hybrid combiner voids the safe-if-either guarantee; because it is new, security-critical code, use a vetted standardized combiner rather than a bespoke one.
- Dual-stack complexity doubles the code, configuration, and interaction surface, breeding misconfiguration and untested paths; keep it simple, uniform, and short-lived, and test the seam.
- Post-quantum handshake and certificate bloat can be weaponized into denial-of-service through resource exhaustion, so denial-of-service defenses must be sized for the larger artifacts.
- The transition stresses key management — new keys, immature tooling, weak hardware support, dual-key logic — which is a first-order risk because a key-management lapse undermines everything above it.
- Threat-model the migration itself, not only the end state; the dual-stack transition is the most vulnerable phase, and for AI agent meshes it is where combiners, bloat, and transitional key management concentrate.
Practitioner Toolkit
Copy-paste, strictly defensive artifacts you can use today. Nothing here attacks a real system.
Check the transition's own attack surface.
- Is a vetted, standardized combiner used rather than custom hybrid code?
- Is the dual-stack configuration simple, uniform, and short-lived, with the seam tested?
- Are denial-of-service defenses sized for the larger post-quantum handshakes and certificates?
- Is transitional key management algorithm-agnostic, with hardware support confirmed and dual-key logic tested?
- Are combiner behavior, fallback rates, and key operations monitored during the transition?
Reduce the migration's exposure window.
- Use validated combiners and libraries only.
- Keep dual-stack uniform and migrate decisively to shorten the window.
- Provision DoS defenses for post-quantum artifact sizes.
- Secure transitional key management as its own inventoried, tested system.
A stub securing the transition as a system.
migration_attack_surface:
combiner: vetted_standardized_only
dual_stack:
config: simple_uniform
lifetime: minimized
seam_tested: true
bloat_dos_defenses: sized_for_pq_artifacts
transitional_key_mgmt:
algorithm_agnostic: true
hardware_support: confirmed
dual_key_logic: tested
monitoring: combiner_fallback_keyopsGlossary
- Migration attack surface
- Vulnerabilities that exist only during the transition — combiners, dual stacks, bloat, transitional key management — absent from both stable end states.
- Combiner failure
- A bug in the new hybrid-combining code (unbound transcript, cancelable XOR, correlated randomness) that voids the safe-if-either guarantee.
- Dual-stack complexity
- The doubled code, configuration, and interaction surface of running classical and post-quantum stacks together, a source of bugs and misconfiguration.
- Bloat as a denial vector
- Weaponizing the larger post-quantum handshakes and certificates into resource-exhaustion denial-of-service.
- Transitional key-management gap
- Weaknesses from provisioning, storing, and rotating new post-quantum keys alongside classical ones with immature tooling and hardware support.
- Model the journey
- The discipline of threat-modeling the migration as its own system, not only the fully migrated destination.
References
- NIST IR 8547, Transition to Post-Quantum Cryptography Standards (2024)
- NIST SP 1800-38, Migration to Post-Quantum Cryptography (practice guide)
- Shostack, Threat Modeling: Designing for Security (Wiley, 2014)
- IETF draft-ietf-tls-hybrid-design, Hybrid Key Exchange in TLS 1.3
- Mosca, Cybersecurity in an Era with Quantum Computers (IEEE Security & Privacy, 2018)