{"id":"W2132874521","doi":"10.3217/jucs-010-09-1156","title":"Symbolic Approach to the Analysis of Security Protocols","year":2020,"lang":"en","type":"article","venue":"PolyPublie (École Polytechnique de Montréal)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Computer science; Symbolic data analysis; Cryptographic protocol; Computer security; Security analysis; The Symbolic; Theoretical computer science; Cryptography; Psychology","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.001329246,0.0002251244,0.000448135,0.0004143844,0.000153896,0.0001852532,0.002607999,0.0001389967,0.000005983366],"category_scores_gemma":[0.0004922278,0.0001783704,0.0002531076,0.005037359,0.00006525587,0.0003880348,0.0006030792,0.0003227944,0.00001216498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001223022,"about_ca_system_score_gemma":0.000129887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008944183,"about_ca_topic_score_gemma":0.00009095183,"domain_scores_codex":[0.9975999,0.0003524678,0.0005391145,0.0005469933,0.000523388,0.0004381609],"domain_scores_gemma":[0.9975001,0.00008240783,0.0002863939,0.001660738,0.0001637557,0.0003066598],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000104779,0.0005441036,0.01121727,0.000167716,0.0005603842,0.000005128451,0.01412199,0.04543499,0.006872192,0.8772193,0.003067284,0.04068485],"study_design_scores_gemma":[0.0001173014,0.0001095701,0.02231786,0.00001114424,0.00008416122,0.000005472487,0.00008429928,0.9581411,0.01437599,0.0009344187,0.003598936,0.0002197356],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006297683,0.00006825778,0.9802768,0.004909781,0.00002766059,0.006740771,0.00002171329,0.0004423882,0.001214963],"genre_scores_gemma":[0.3666841,0.000005766914,0.6216868,0.003383915,0.00005252382,0.008144629,0.000005684496,0.00001602359,0.00002050087],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9127061,"threshold_uncertainty_score":0.7273735,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03006844700649969,"score_gpt":0.2856999383632343,"score_spread":0.2556314913567346,"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."}}