{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004232462,0.00005783231,0.00009622365,0.0001487396,0.00001768646,0.0001064993,0.0003266683,0.00004028203,7.82822e-7],"category_scores_gemma":[0.00003881701,0.00005483819,0.00001095121,0.0004836076,0.00001965702,0.0002471995,0.0000570766,0.00009279387,0.000002314217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004374564,"about_ca_system_score_gemma":0.00002142975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005654157,"about_ca_topic_score_gemma":0.0001217739,"domain_scores_codex":[0.9993253,0.0000851642,0.0001676352,0.0002354816,0.0001109593,0.00007548636],"domain_scores_gemma":[0.9994796,0.0001592529,0.00004187987,0.0002562731,0.00004304785,0.00001997092],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004817688,0.0006936711,0.05033687,0.00350978,0.0001184572,0.0001923456,0.009420254,0.01526651,0.03016852,0.148444,0.005511528,0.7358563],"study_design_scores_gemma":[0.0004928294,0.0003731372,0.3371876,0.0009358845,0.000005834506,0.00002333711,0.00003546286,0.3773274,0.2614599,0.01801741,0.003521418,0.0006197531],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3914274,0.0004097257,0.6064167,0.00007169232,0.0007400463,0.0002698736,0.00001806896,0.0003336946,0.0003127887],"genre_scores_gemma":[0.9995447,0.00003889668,0.0003483218,0.00001744104,0.00001586269,0.0000182274,9.183757e-7,0.000004492189,0.00001117716],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7352365,"threshold_uncertainty_score":0.2236236,"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."}}