{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03928289,0.001605725,0.001138542,0.002865215,0.001122496,0.003999256,0.003261803,0.002658713,0.004490441],"category_scores_gemma":[0.1613932,0.0009541557,0.002314385,0.0020924,0.006798961,0.006428151,0.004222922,0.003232976,0.0003108724],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003603142,"about_ca_system_score_gemma":0.003029227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005939898,"about_ca_topic_score_gemma":0.003276338,"domain_scores_codex":[0.9766124,0.01564933,0.0006967021,0.003012189,0.003059838,0.0009694975],"domain_scores_gemma":[0.6796848,0.2611188,0.02030469,0.03120996,0.006668455,0.001013394],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001267431,0.0009546777,0.03455323,0.000609505,0.0008749527,0.0006308454,0.001363761,0.498367,0.004402764,0.4228227,0.001594488,0.03255875],"study_design_scores_gemma":[0.0002255553,0.0003401103,0.003264805,0.0001083063,0.0002884258,0.0001418023,0.0001869924,0.8413121,0.002787475,0.1493245,0.001944125,0.00007596488],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4286904,0.0009465155,0.5483211,0.002930091,0.0001973126,0.00089176,0.0006621591,0.0006815669,0.01667907],"genre_scores_gemma":[0.9059702,0.0001717141,0.09187717,0.0003185598,0.00006150935,0.0005300544,0.0001377058,0.0001134905,0.0008196431],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03928289,"threshold_uncertainty_score":0.2077503,"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."}}