{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002037348,0.0001873439,0.000376582,0.0002162212,0.0002610116,0.0003755364,0.003473227,0.0001033249,0.000004762317],"category_scores_gemma":[0.0001090593,0.0001723874,0.0001523562,0.0003978325,0.00005147235,0.00133165,0.0006268226,0.0006061037,0.00002430026],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005044054,"about_ca_system_score_gemma":0.0001344917,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000006433057,"about_ca_topic_score_gemma":0.000002299177,"domain_scores_codex":[0.9977546,0.0002875782,0.0007397485,0.0004009206,0.0005205351,0.0002966178],"domain_scores_gemma":[0.9969336,0.000239917,0.0006768405,0.001493798,0.0004546478,0.0002012434],"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.0001571553,0.003020203,0.004598226,0.0004681929,0.001148036,0.0002455293,0.01286333,0.08465616,0.00322667,0.1123095,0.07379445,0.7035125],"study_design_scores_gemma":[0.0008738947,0.000175233,0.0027759,0.0000690492,0.00001371272,0.0001566524,0.000006050938,0.9492548,0.0001668099,0.004962555,0.04135466,0.0001907416],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02959904,0.00008206379,0.9657651,0.001823423,0.002124266,0.0001648092,0.000003966809,0.00007560319,0.0003617019],"genre_scores_gemma":[0.8917044,0.00001419286,0.1054754,0.001026333,0.001760905,0.000001860432,0.000002692872,0.000009859708,0.000004331777],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8645986,"threshold_uncertainty_score":0.7029752,"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."}}