{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003210084,0.000141967,0.0001395956,0.00042772,0.0002184944,0.0003217634,0.001010435,0.0001354007,0.00008809062],"category_scores_gemma":[0.0002532505,0.0001328655,0.000159287,0.0003009105,0.00006299101,0.0005898609,0.00002511037,0.0003597058,0.00001301428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007626673,"about_ca_system_score_gemma":0.00006491331,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001188053,"about_ca_topic_score_gemma":0.000004166385,"domain_scores_codex":[0.9988248,0.00003332893,0.0003299401,0.0002594174,0.0002780239,0.0002744604],"domain_scores_gemma":[0.9991772,0.0001587335,0.00004864978,0.0002091754,0.0003403696,0.00006593182],"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.00002331168,0.0001839503,0.0009437929,0.000003090418,0.0001381925,0.00001782791,0.0001657066,0.00001057117,0.0004355751,0.9249876,0.003878153,0.06921227],"study_design_scores_gemma":[0.002449854,0.0004251291,0.0001417722,0.00004204036,0.00001663055,0.000574199,0.0001329675,0.0002065983,0.01627789,0.3201507,0.6592063,0.0003759422],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06236517,0.0001323146,0.9320723,0.00378834,0.001002046,0.0001613277,0.00006313375,0.000229106,0.000186247],"genre_scores_gemma":[0.9644328,0.0001135142,0.03409199,0.001203552,0.00005074964,0.00004881326,0.00001532524,0.00001368826,0.00002953471],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9020677,"threshold_uncertainty_score":0.5418097,"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."}}