{"id":"W4415310313","doi":"10.1007/978-3-032-07894-0_23","title":"Formal Security Analysis of ss2DNS","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Mathematical proof; Security analysis; Cryptography; Cryptographic protocol; Computer security model; Protocol (science); Process (computing); Key (lock); Scheme (mathematics)","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003236209,0.0008500605,0.0005524513,0.001799294,0.001460047,0.004697917,0.001540205,0.001027196,0.0111189],"category_scores_gemma":[0.006808789,0.0007318363,0.001479186,0.001294687,0.003205017,0.006703997,0.003055617,0.002522854,0.001877526],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00400437,"about_ca_system_score_gemma":0.002045884,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00333916,"about_ca_topic_score_gemma":0.00255221,"domain_scores_codex":[0.9955851,0.001291035,0.0002938009,0.0004366284,0.001706943,0.0006864876],"domain_scores_gemma":[0.9952739,0.002408104,0.0002591326,0.001085602,0.0008585316,0.0001148197],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004788061,0.00003708561,0.0002435308,0.00007797031,0.00001034457,0.00007477359,0.0002287096,0.009771582,0.001242863,0.972057,0.001916107,0.01429221],"study_design_scores_gemma":[0.00002593306,0.00002698433,0.0001968429,0.00009426734,0.00002692226,0.000130945,0.0001522759,0.09174764,0.004234959,0.8744044,0.02893345,0.00002539425],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0368657,0.0007701611,0.8920919,0.001635017,0.0002432717,0.0002419734,0.0005074178,0.001281238,0.06636336],"genre_scores_gemma":[0.8096734,0.00106101,0.1540995,0.0005828071,0.0003750695,0.0003548528,0.0009652432,0.0007136546,0.03217445],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0111189,"threshold_uncertainty_score":0.0371964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01151209651281982,"score_gpt":0.2783396073416125,"score_spread":0.2668275108287927,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}