{"id":"https://openalex.org/W7225050796","doi":"https://doi.org/10.5281/zenodo.23852218","title":"Does a Successful Handshake Prove the Migration? Fault-Injection Evidence on Verifying Post-Quantum TLS Deployments","display_name":"Does a Successful Handshake Prove the Migration? Fault-Injection Evidence on Verifying Post-Quantum TLS Deployments","publication_year":2026,"publication_date":"2026-11-01","ids":{"openalex":"https://openalex.org/W7225050796","doi":"https://doi.org/10.5281/zenodo.23852218"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23852218","doi":"https://doi.org/10.5281/zenodo.23852218","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23852218","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23852218","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119170082","display_name":"Sangam Gyawali","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gyawali, Sangam","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":"https://orcid.org/0009-0001-4658-2566","affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5119170082"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.4765999913215637,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.4765999913215637,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.10419999808073044,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.0738999992609024,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-injection","display_name":"fault injection","score":0.8489999771118164},{"id":"https://openalex.org/keywords/hybrid-key-exchange","display_name":"hybrid key exchange","score":0.8190000057220459},{"id":"https://openalex.org/keywords/openssl","display_name":"OpenSSL","score":0.4320000112056732}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7405999898910522},{"id":"https://openalex.org/C2778000800","wikidata":"https://www.wikidata.org/wiki/Q830043","display_name":"Handshake","level":3,"score":0.6557999849319458},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.6274999976158142},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5361999869346619},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5070000290870667},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4968999922275543},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.47620001435279846},{"id":"https://openalex.org/C2777572472","wikidata":"https://www.wikidata.org/wiki/Q4825878","display_name":"Authenticated Key Exchange","level":5,"score":0.4731999933719635},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.45249998569488525},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4302000105381012},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4146000146865845},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3154999911785126},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.3154999911785126},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30149999260902405},{"id":"https://openalex.org/C191197275","wikidata":"https://www.wikidata.org/wiki/Q1755775","display_name":"Session key","level":3,"score":0.29319998621940613},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2921999990940094},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.2849000096321106},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28360000252723694},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.28349998593330383},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.275299996137619},{"id":"https://openalex.org/C92446256","wikidata":"https://www.wikidata.org/wiki/Q3306762","display_name":"Data validation","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.2669000029563904},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23852218","doi":"https://doi.org/10.5281/zenodo.23852218","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23852218","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23852219","doi":"https://doi.org/10.5281/zenodo.23852219","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23852219","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23852218","doi":"https://doi.org/10.5281/zenodo.23852218","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23852218","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7203777153","https://openalex.org/W7160434522","https://openalex.org/W7172447690","https://openalex.org/W7203923902","https://openalex.org/W3201869618","https://openalex.org/W7169724466","https://openalex.org/W7135033384","https://openalex.org/W7160438748","https://openalex.org/W4312840416","https://openalex.org/W7222689375"],"abstract_inverted_index":{"Operators":[0],"often":[1],"verify":[2],"a":[3,10,15,18,31,63,98,111,143,153,189,193,219],"post-quantum":[4,19],"TLS":[5],"migration":[6],"with":[7,126,133],"cheap":[8],"proxies:":[9],"connection":[11],"still":[12],"succeeds,":[13],"or":[14],"configuration":[16,91],"names":[17],"group.":[20],"How":[21],"much":[22],"false":[23],"assurance":[24],"do":[25],"such":[26,123],"proxies":[27],"give?":[28],"We":[29],"built":[30],"fault-injection":[32],"harness":[33],"(60":[34],"deployments,":[35],"i.e.":[36],"30":[37],"server":[38],"configurations":[39],"on":[40,73,152,163],"two":[41,225],"network":[42],"paths;":[43],"1,260":[44],"handshakes;":[45],"OpenSSL":[46,197],"3.6.3)":[47],"that":[48],"reads":[49],"the":[50,54,66,74,85,96,115,130,134,138,155,164,170,175,182,200],"negotiated":[51,131],"group":[52,113,132],"from":[53],"wire,":[55],"and":[56,119,198,224],"scored":[57],"eight":[58],"verification":[59,190],"procedures":[60],"(\"oracles\")":[61],"against":[62],"reference":[64],"standard:":[65],"outcome":[67],"of":[68,84,95,179,184,229],"five":[69],"client":[70,136,172,186],"profiles":[71],"run":[72],"deployment's":[75],"own":[76],"path.":[77],"The":[78],"grid":[79,195],"is":[80,187],"deliberately":[81],"fault-dense;":[82],"58":[83],"60":[86],"deployments":[87],"are":[88,216],"faulty.":[89],"A":[90],"check":[92,100],"passes":[93,101],"46":[94],"58;":[97],"connection-succeeds":[99],"38,":[102],"because":[103],"hybrid":[104],"key":[105],"exchange":[106],"can":[107],"degrade":[108],"silently":[109],"to":[110,140],"classical":[112],"while":[114],"session":[116],"stays":[117],"authenticated":[118],"error-free":[120],"(all":[121],"29":[122],"sessions":[124],"exited":[125],"status":[127],"0).":[128],"Reading":[129],"same":[135,201],"cuts":[137],"count":[139],"10;":[141],"adding":[142],"legacy-client":[144],"regression":[145],"probe":[146,171,185],"leaves":[147,167],"2,":[148],"both":[149,161],"reachable":[150],"only":[151],"path":[154,166],"verifier":[156],"did":[157],"not":[158,227],"use;":[159],"running":[160],"probes":[162],"production":[165],"0.":[168],"Changing":[169],"alone":[173],"changes":[174],"counts":[176],"(16":[177],"instead":[178],"10),":[180],"so":[181],"choice":[183],"itself":[188],"hazard.":[191],"On":[192],"24-intent":[194],"over":[196],"Go,":[199],"configuration-level":[202],"policy":[203],"written":[204],"in":[205,212],"each":[206],"stack's":[207],"syntax":[208],"produced":[209],"different":[210],"outcomes":[211],"5":[213],"intents.":[214],"These":[215],"results":[217],"for":[218],"finite,":[220],"designed":[221],"fault":[222],"set":[223],"stacks,":[226],"estimates":[228],"deployment":[230],"prevalence.":[231]},"counts_by_year":[],"updated_date":"2026-11-03T10:50:19.383937","created_date":"2026-11-02T00:00:00"}