Does a Successful Handshake Prove the Migration? Fault-Injection Evidence on Verifying Post-Quantum TLS Deployments

Operators often verify a post-quantum TLS migration with cheap proxies: a connection still succeeds, or a configuration names a post-quantum group. How much false assurance do such proxies give? We built a fault-injection harness (60 deployments, i.e. 30 server configurations on two network paths; 1,260 handshakes; OpenSSL 3.6.3) that reads the negotiated group from the wire, and scored eight verification procedures ("oracles") against a reference standard: the outcome of five client profiles run on the deployment's own path. The grid is deliberately fault-dense; 58 of the 60 deployments are faulty. A configuration check passes 46 of the 58; a connection-succeeds check passes 38, because hybrid key exchange can degrade silently to a classical group while the session stays authenticated and error-free (all 29 such sessions exited with status 0). Reading the negotiated group with the same client cuts the count to 10; adding a legacy-client regression probe leaves 2, both reachable only on a path the verifier did not use; running both probes on the production path leaves 0. Changing the probe client alone changes the counts (16 instead of 10), so the choice of probe client is itself a verification hazard. On a 24-intent grid over OpenSSL and Go, the same configuration-level policy written in each stack's syntax produced different outcomes in 5 intents. These are results for a finite, designed fault set and two stacks, not estimates of deployment prevalence.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-11-01
DOI
https://doi.org/10.5281/zenodo.23852218
Primary Topic
Cryptographic Implementations and Security
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Does a Successful Handshake Prove the Migration? Fault-Injection Evidence on Verifying Post-Quantum TLS Deployments

Sangam Gyawali
Zenodo (CERN European Organization for Nuclear Research)
Cryptographic Implementations and Security
preprint

Does a Successful Handshake Prove the Migration? Fault-Injection Evidence on Verifying Post-Quantum TLS Deployments

Sangam Gyawali
preprint en

Abstract

Operators often verify a post-quantum TLS migration with cheap proxies: a connection still succeeds, or a configuration names a post-quantum group. How much false assurance do such proxies give? We built a fault-injection harness (60 deployments, i.e. 30 server configurations on two network paths; 1,260 handshakes; OpenSSL 3.6.3) that reads the negotiated group from the wire, and scored eight verification procedures ("oracles") against a reference standard: the outcome of five client profiles run on the deployment's own path. The grid is deliberately fault-dense; 58 of the 60 deployments are faulty. A configuration check passes 46 of the 58; a connection-succeeds check passes 38, because hybrid key exchange can degrade silently to a classical group while the session stays authenticated and error-free (all 29 such sessions exited with status 0). Reading the negotiated group with the same client cuts the count to 10; adding a legacy-client regression probe leaves 2, both reachable only on a path the verifier did not use; running both probes on the production path leaves 0. Changing the probe client alone changes the counts (16 instead of 10), so the choice of probe client is itself a verification hazard. On a 24-intent grid over OpenSSL and Go, the same configuration-level policy written in each stack's syntax produced different outcomes in 5 intents. These are results for a finite, designed fault set and two stacks, not estimates of deployment prevalence.

Zenodo (CERN European Organization for Nuclear Research)
Cryptographic Implementations and Security
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon