{"id":"W4312543059","doi":"10.1109/tits.2022.3213771","title":"A Mathematical Modeling of Stuxnet-Style Autonomous Vehicle Malware","year":2022,"lang":"en","type":"article","venue":"IEEE Transactions on Intelligent Transportation Systems","topic":"Vehicular Ad Hoc Networks (VANETs)","field":"Engineering","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Malware; Computer security; Computer science; Vulnerability (computing); Ransomware; Cyber-attack; Epidemic model","routes":{"ca_aff":true,"ca_fund":true,"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.0006489284,0.0009130791,0.0006942324,0.001261075,0.0008469684,0.001830764,0.00156509,0.002542406,0.002576602],"category_scores_gemma":[0.002814751,0.000481689,0.0009838556,0.0007041412,0.00141367,0.002190008,0.001371195,0.001624327,0.0006816179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001513918,"about_ca_system_score_gemma":0.0012987,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01188828,"about_ca_topic_score_gemma":0.005035318,"domain_scores_codex":[0.9997148,0.00007659188,0.00001298122,0.00005083939,0.00008642044,0.00005834348],"domain_scores_gemma":[0.9989359,0.0004883839,0.0002522683,0.00003904091,0.0002106295,0.00007382976],"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.00002405754,0.00006594736,0.001346624,0.00008632376,0.00002447669,0.0005137335,0.0002179683,0.6786081,0.002070638,0.3094874,0.00370004,0.003854743],"study_design_scores_gemma":[0.000003319055,0.00001006086,0.0001003406,0.000008055745,0.000004443835,0.00004757667,0.00002193561,0.986567,0.00006067197,0.01200298,0.001166978,0.000006752912],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1097357,0.004042222,0.7896081,0.007245919,0.0006172917,0.0001954992,0.0009829084,0.0002976534,0.08727464],"genre_scores_gemma":[0.894055,0.003871761,0.03610247,0.0007636335,0.0004440057,0.0003371083,0.0004399194,0.0001112667,0.06387484],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01188828,"threshold_uncertainty_score":0.02363819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01925416673479355,"score_gpt":0.2206134426549804,"score_spread":0.2013592759201868,"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."}}