{"id":"W4405602323","doi":"10.1109/scam63643.2024.00019","title":"Enhancing Security through Modularization: A Counterfactual Analysis of Vulnerability Propagation and Detection Precision","year":2024,"lang":"en","type":"article","venue":"","topic":"Information and Cyber Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Counterfactual thinking; Computer science; Vulnerability (computing); Modular programming; Vulnerability assessment; Risk analysis (engineering); Computer security; Business; Psychology","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.0005090406,0.00007968725,0.0001378423,0.0001854499,0.00008668256,0.0002000753,0.0001230367,0.00005797309,0.0000402357],"category_scores_gemma":[0.00004265212,0.00006612251,0.00005910013,0.001034714,0.000028673,0.001743496,0.0000822186,0.00009042861,0.000005321544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000445778,"about_ca_system_score_gemma":0.00003457988,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008033418,"about_ca_topic_score_gemma":0.000201278,"domain_scores_codex":[0.9990284,0.00006280888,0.0003174354,0.0002387009,0.0002641248,0.00008847987],"domain_scores_gemma":[0.9994654,0.00007450237,0.00006059272,0.000244251,0.0001287169,0.00002652408],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005477841,0.0002520962,0.0009515495,0.0007112396,0.000953608,0.000003616086,0.14332,0.00423363,0.03625484,0.5320452,0.00009481487,0.2811246],"study_design_scores_gemma":[0.0000586521,0.0000380328,0.001963654,0.00001388099,0.00004358521,0.000002567968,0.0001123996,0.8814848,0.1104458,0.005447348,0.0003121178,0.00007722812],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.298786,0.00005209457,0.6997722,0.00007394596,0.0001278629,0.0001025646,0.000002487997,0.0001138422,0.0009689905],"genre_scores_gemma":[0.9967433,0.00001505012,0.003136659,0.00005190817,0.00001311477,0.000006614264,0.000008035776,0.00000207743,0.00002320408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8772511,"threshold_uncertainty_score":0.2696398,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009729190520135236,"score_gpt":0.257332276895305,"score_spread":0.2476030863751697,"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."}}