{"id":"W3105067267","doi":"","title":"Combining behavioural types with security analysis","year":2015,"lang":"en","type":"article","venue":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"Google (Canada)","funders":"European Cooperation in Science and Technology","keywords":"Correctness; Computer science; Trustworthiness; Enforcement; Computer security; Data science; Risk analysis (engineering); Business; Programming language; Political science","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.006294043,0.001909008,0.001431645,0.006751472,0.001267666,0.006274509,0.003076765,0.002037035,0.01233688],"category_scores_gemma":[0.02654573,0.001966267,0.005688598,0.003958168,0.003342022,0.01476752,0.006845658,0.003888058,0.004890373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001861235,"about_ca_system_score_gemma":0.001975467,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002723808,"about_ca_topic_score_gemma":0.002875868,"domain_scores_codex":[0.9886526,0.004178173,0.00112223,0.001486197,0.003648503,0.0009122528],"domain_scores_gemma":[0.9806292,0.008683804,0.001031056,0.006799894,0.002528576,0.0003274913],"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.0002184836,0.0001480096,0.004102333,0.0004576654,0.0002179955,0.0003297528,0.0008600579,0.02785534,0.006558158,0.7655378,0.005119691,0.1885948],"study_design_scores_gemma":[0.00002145087,0.0000319102,0.0004302447,0.0001231349,0.0001345013,0.00015088,0.0001484801,0.1075055,0.007129489,0.8678032,0.0164658,0.00005561979],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002985327,0.00005595318,0.9898499,0.0002152053,0.00006197335,0.00005847408,0.0001804726,0.002657437,0.003935263],"genre_scores_gemma":[0.2685361,0.0003761193,0.7130011,0.0003690352,0.0002044202,0.0002726952,0.001311913,0.003742646,0.01218592],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01233688,"threshold_uncertainty_score":0.04127097,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06145869868842382,"score_gpt":0.3238499101042825,"score_spread":0.2623912114158586,"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."}}