{"id":"W4299679592","doi":"10.1109/icc45855.2022.9838865","title":"A Formal Analysis of the Efficacy of Rebooting as a Countermeasure Against IoT Botnets","year":2022,"lang":"en","type":"article","venue":"ICC 2022 - IEEE International Conference on Communications","topic":"Network Security and Intrusion Detection","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Botnet; Reboot; Computer science; Countermeasure; Computer security; Process (computing); Internet of Things; The Internet; Engineering; World Wide Web; Operating system","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.0006668873,0.0001102871,0.0002034693,0.0003735526,0.000576344,0.00006162993,0.00461837,0.00003654031,0.0003062921],"category_scores_gemma":[0.0001326245,0.0001016141,0.000252908,0.001362418,0.000143813,0.0001849299,0.001554196,0.0004890601,0.000005584511],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001249653,"about_ca_system_score_gemma":0.0001734948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001319148,"about_ca_topic_score_gemma":0.0002536882,"domain_scores_codex":[0.9979442,0.0003803834,0.0004905201,0.0002259987,0.0008118667,0.0001470119],"domain_scores_gemma":[0.9970006,0.000349517,0.0005526472,0.001702788,0.0003581262,0.00003632894],"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.0001544327,0.001241918,0.002084653,0.00001186931,0.001420962,0.000002206622,0.006084587,0.04986696,0.01535809,0.874355,0.001143138,0.04827616],"study_design_scores_gemma":[0.0004611438,0.0001697406,0.00856645,0.00006231222,0.0001018401,0.000007423378,0.0003910839,0.9770825,0.00151785,0.002535491,0.008930622,0.0001735296],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9107232,0.0001597585,0.01410164,0.009055793,0.001976489,0.0005875146,0.0002226933,0.0001127392,0.06306017],"genre_scores_gemma":[0.9986135,0.00009003323,0.0005405743,0.0004349445,0.00002213349,0.00006105428,0.00003033992,0.000005682644,0.0002017417],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9272156,"threshold_uncertainty_score":0.8582158,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06690127680588895,"score_gpt":0.3229072308593091,"score_spread":0.2560059540534201,"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."}}