{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00210679,0.001027609,0.0005537692,0.001705676,0.001012145,0.002278827,0.00146557,0.0009502763,0.006147958],"category_scores_gemma":[0.007246047,0.0004864461,0.001464402,0.001196506,0.004257212,0.003119887,0.002493468,0.002430107,0.0005747961],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003008023,"about_ca_system_score_gemma":0.002572998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003648085,"about_ca_topic_score_gemma":0.002551227,"domain_scores_codex":[0.9975847,0.00102292,0.0001324256,0.0002320914,0.0008244008,0.000203409],"domain_scores_gemma":[0.9953859,0.003247266,0.0002963236,0.0004337501,0.0005329283,0.0001039106],"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.00007528484,0.00008102838,0.0005605652,0.0002415146,0.00007223141,0.0002681457,0.0004600984,0.1910937,0.004039552,0.7824804,0.0006454404,0.01998199],"study_design_scores_gemma":[0.00002715655,0.0000293602,0.0001008036,0.00005832907,0.00003622674,0.00005668699,0.00006204954,0.4944934,0.004740701,0.495761,0.004618363,0.00001587815],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01427856,0.0002412475,0.9803308,0.0002319136,0.00002896028,0.0000631729,0.00007903349,0.0003742537,0.004372094],"genre_scores_gemma":[0.6564489,0.0007420504,0.3353741,0.0001735386,0.000143316,0.0003762359,0.0003679994,0.0003059717,0.006067935],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006147958,"threshold_uncertainty_score":0.02182484,"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."}}