{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002788102,0.0002495748,0.0003789984,0.0002376163,0.0001801609,0.0000259522,0.0002250591,0.00009067092,0.001137963],"category_scores_gemma":[5.464854e-7,0.0002863058,0.0002235567,0.0003991972,0.00002735645,0.0001192149,4.4943e-7,0.000421342,0.0001029307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002181246,"about_ca_system_score_gemma":0.00003624922,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001011198,"about_ca_topic_score_gemma":0.00006126811,"domain_scores_codex":[0.9979214,0.00007655514,0.0008756819,0.000242038,0.0005586211,0.0003256792],"domain_scores_gemma":[0.9993113,0.00007082389,0.00007861145,0.000343826,0.00007491445,0.0001205238],"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.00004307542,0.0001554838,0.000008578408,0.0002407074,0.0001414312,0.00001089865,0.002084729,0.995361,0.0005484254,0.0002099126,0.00003645203,0.001159259],"study_design_scores_gemma":[0.0002721996,0.0001396505,0.000006816894,0.00007904261,0.00008362467,0.00001635379,0.002374155,0.9933924,0.002690216,0.00002836475,0.0006616493,0.0002555484],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2126265,0.0002038232,0.7850857,0.000009034986,0.000683078,0.0005335604,0.0002188547,0.0003582655,0.0002811756],"genre_scores_gemma":[0.9987693,0.00003572193,0.0002673795,0.00001054553,0.00003386308,0.000455088,0.0000494478,0.00008497587,0.0002936542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7861429,"threshold_uncertainty_score":0.9999589,"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."}}