{"id":"W2172194269","doi":"10.1515/jmc.2007.004","title":"Another look at HMQV","year":2007,"lang":"en","type":"article","venue":"Journal of Mathematical Cryptology","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":89,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Computer science; Key (lock); Computer security; Theoretical computer science; Key exchange; Mathematics; Public-key cryptography","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001077678,0.0001045378,0.0002927117,0.0001244669,0.00005360731,0.00002298125,0.0007344108,0.0000912202,0.0001716404],"category_scores_gemma":[0.0003859099,0.00007845447,0.0001089706,0.00016155,0.00006828173,0.0002732399,0.0001890311,0.0002097211,0.00029987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008068726,"about_ca_system_score_gemma":0.00004054445,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.102655e-8,"about_ca_topic_score_gemma":7.391538e-7,"domain_scores_codex":[0.9985089,0.00006443656,0.0006920896,0.0001374016,0.0003192752,0.000277866],"domain_scores_gemma":[0.9985362,0.0003279936,0.0004773482,0.000345494,0.0001878315,0.0001250896],"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.00002897264,0.0002002189,0.0001833166,0.00002875934,0.00001826943,0.00009190117,0.0004874621,0.000003125862,0.002200912,0.9928493,0.000486877,0.003420879],"study_design_scores_gemma":[0.0005148649,0.0001714112,0.0004516183,0.00002982791,0.000008219312,0.001249445,0.00004424254,0.0005735455,0.0110919,0.9818918,0.003869713,0.000103472],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00864895,0.00004037775,0.9857323,0.002233309,0.0001548945,0.000377807,1.840449e-7,0.0000282146,0.002783919],"genre_scores_gemma":[0.453418,0.0000021799,0.5455177,0.0007231118,0.0001109515,0.00001516987,7.851428e-8,0.00001184888,0.0002008945],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4447691,"threshold_uncertainty_score":0.3854322,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02101922251094666,"score_gpt":0.3118900434789471,"score_spread":0.2908708209680004,"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."}}