{"id":"W2034321868","doi":"10.1007/s10009-002-0100-7","title":"Security by typing","year":2003,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Soundness; Cryptographic protocol; Correctness; Type inference; Secrecy; Protocol (science); Cryptography; Theoretical computer science; Programming language; Theory of computation; Authentication protocol; Typing; Authentication (law); Inference; Computer security; Artificial intelligence","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.003245559,0.001545702,0.001659077,0.002438204,0.004941979,0.01001777,0.001811726,0.002895694,0.04722336],"category_scores_gemma":[0.01276866,0.001673981,0.00197937,0.00313686,0.004534291,0.01987376,0.008398284,0.007464694,0.02759971],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001501282,"about_ca_system_score_gemma":0.001843922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008188008,"about_ca_topic_score_gemma":0.0006495233,"domain_scores_codex":[0.9935337,0.00151878,0.0008863387,0.00118801,0.002118494,0.0007545437],"domain_scores_gemma":[0.9879243,0.003223416,0.0003784642,0.006447117,0.00165182,0.0003747281],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001071744,0.00004817882,0.0004997908,0.0001653301,0.00002481755,0.0001501087,0.001186635,0.0004992684,0.001941104,0.8986563,0.0261983,0.0705229],"study_design_scores_gemma":[0.00002758519,0.00003506323,0.0001209147,0.000139373,0.00006135213,0.0003970175,0.0002392219,0.003262597,0.004693887,0.8094931,0.1814833,0.00004671035],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01297536,0.001127138,0.7876267,0.005664463,0.003687613,0.0002507329,0.0007680422,0.008827921,0.179072],"genre_scores_gemma":[0.3721089,0.002695477,0.2499077,0.002942245,0.00185457,0.0006338934,0.001767969,0.009927091,0.3581623],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04722336,"threshold_uncertainty_score":0.1579779,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01826549152037574,"score_gpt":0.290743463193024,"score_spread":0.2724779716726482,"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."}}