{"id":"W4399562923","doi":"10.1109/access.2024.3413071","title":"A Survey on Verification of Security and Safety in IoT Systems","year":2024,"lang":"en","type":"article","venue":"IEEE Access","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Internet of Things; Computer security","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.008490215,0.001637596,0.001570409,0.005911324,0.0009583867,0.00366036,0.00251358,0.001759873,0.00303986],"category_scores_gemma":[0.03408702,0.001226035,0.003002236,0.004896078,0.00264712,0.007586807,0.001937802,0.002073042,0.0009698356],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002047741,"about_ca_system_score_gemma":0.004021915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003864433,"about_ca_topic_score_gemma":0.002001465,"domain_scores_codex":[0.984028,0.004536803,0.002162336,0.001458052,0.007138754,0.0006760252],"domain_scores_gemma":[0.9503161,0.03679176,0.002496161,0.005233873,0.004891751,0.0002704336],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002678675,0.0002757845,0.01132191,0.01470186,0.0004037445,0.0009109237,0.001536371,0.05036148,0.007990739,0.1786641,0.01288984,0.7206753],"study_design_scores_gemma":[0.0001065551,0.001042679,0.01072538,0.01756975,0.0007980444,0.00524746,0.002148505,0.2235807,0.04477723,0.2822581,0.4113672,0.0003784148],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.02776087,0.1607443,0.7715884,0.00386094,0.0007044821,0.0005914205,0.0009570368,0.003339237,0.03045326],"genre_scores_gemma":[0.3778028,0.2256749,0.3821659,0.002135042,0.001463857,0.0008223819,0.00252488,0.001090087,0.006320131],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.008490215,"threshold_uncertainty_score":0.04490113,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03241236363434084,"score_gpt":0.3314603060741693,"score_spread":0.2990479424398284,"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."}}