{"id":"W1922844761","doi":"10.3233/jcs-140502","title":"Modular protections against non-control data attacks","year":2014,"lang":"en","type":"article","venue":"Journal of Computer Security","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Soundness; Memory safety; Separation logic; Compiler; Programming language; Pointer (user interface); Data type; Modular design; 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.00436149,0.001216052,0.001131178,0.001540721,0.001030602,0.001946815,0.003637217,0.001242173,0.003375613],"category_scores_gemma":[0.009071229,0.001195173,0.001972203,0.0006339019,0.003327376,0.003993109,0.004606777,0.002776532,0.001952016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001109138,"about_ca_system_score_gemma":0.002059427,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001309563,"about_ca_topic_score_gemma":0.001204723,"domain_scores_codex":[0.9949576,0.001003333,0.0003415609,0.00100999,0.001869045,0.000818427],"domain_scores_gemma":[0.9863355,0.002850173,0.001518771,0.007421307,0.001459758,0.0004144486],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00341146,0.0006347281,0.01003483,0.001340427,0.0003620747,0.001367574,0.002583907,0.08621161,0.2782456,0.2748998,0.01341497,0.327493],"study_design_scores_gemma":[0.0005730309,0.001555126,0.004914644,0.0003915892,0.0005303054,0.001552075,0.0002529093,0.4373248,0.3403918,0.1288665,0.08326514,0.0003821706],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08590085,0.0006685287,0.8735818,0.0005519603,0.0001721912,0.0003002411,0.0001646124,0.03189575,0.006764103],"genre_scores_gemma":[0.7081659,0.0004091572,0.2784158,0.0008230346,0.0001770974,0.0003491704,0.0002772962,0.003681446,0.007701082],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00436149,"threshold_uncertainty_score":0.02306604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02096124297612106,"score_gpt":0.2637338178031622,"score_spread":0.2427725748270411,"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."}}