{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007707428,0.0005495214,0.0005948367,0.001377983,0.002985194,0.00621506,0.002475355,0.00624731,0.01106495],"category_scores_gemma":[0.01839932,0.0006869219,0.001087078,0.001315209,0.01068629,0.03032649,0.004525582,0.01315149,0.002361618],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003611817,"about_ca_system_score_gemma":0.002150552,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001980749,"about_ca_topic_score_gemma":0.0008644064,"domain_scores_codex":[0.9927148,0.003612859,0.0002593359,0.0007640902,0.002036402,0.0006125676],"domain_scores_gemma":[0.9883824,0.006003039,0.0005159852,0.003020182,0.001713981,0.0003644215],"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.0000128176,0.000007392474,0.00005427135,0.00003999312,0.000004191996,0.00004081416,0.0001762181,0.0001921032,0.0002702963,0.9872044,0.005078514,0.006918915],"study_design_scores_gemma":[0.00001768081,0.00006040287,0.0001016638,0.0001419624,0.000007983636,0.0004053186,0.0003177391,0.002297893,0.001508832,0.7295232,0.2655898,0.00002738939],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01679528,0.04098314,0.3606609,0.2424923,0.008574968,0.0002044135,0.0003424516,0.001125922,0.3288205],"genre_scores_gemma":[0.5710909,0.02898792,0.2120092,0.06840976,0.01067873,0.0003292524,0.0003089461,0.001166289,0.107019],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01106495,"threshold_uncertainty_score":0.04076129,"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."}}