{"id":"W2965067599","doi":"10.1109/mobilesoft.2019.00013","title":"Security Analysis for SmartThings IoT Applications","year":2019,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Computer security; Taint checking; Internet of Things; Security analysis; Identification (biology); Audit; State (computer science); Operating system; Software","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.0001332533,0.00006281841,0.0001097528,0.0001646923,0.00006003912,0.00006547185,0.0004302802,0.00003666793,0.00004148202],"category_scores_gemma":[0.00001056682,0.00005937416,0.0001083354,0.0008438521,0.000009663093,0.0002575851,0.00009822725,0.00005026021,0.00006171031],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002768083,"about_ca_system_score_gemma":0.00001229585,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001577978,"about_ca_topic_score_gemma":0.00001518693,"domain_scores_codex":[0.999364,0.000008346876,0.0001177447,0.0002942151,0.0000924129,0.0001232448],"domain_scores_gemma":[0.9991616,0.00007895313,0.00005384298,0.0005656549,0.0001017372,0.00003821462],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005757293,0.00008958962,0.00299492,0.00003727446,0.0001882793,2.803745e-7,0.0002824445,0.000818616,0.00354486,0.9228318,0.001194837,0.0680114],"study_design_scores_gemma":[0.0002819771,0.0001415602,0.001256429,0.000002961654,0.00006834764,0.000003509678,0.00004505133,0.2249026,0.1214997,0.2609565,0.3904018,0.0004394746],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001424647,0.00001059392,0.9938312,0.0002936003,0.00003752857,0.0004860226,0.000001982104,0.0008355524,0.003078909],"genre_scores_gemma":[0.5816897,0.0000019674,0.41663,0.000370663,0.00001588257,0.0002761236,0.000002302614,0.000004006009,0.001009294],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6618752,"threshold_uncertainty_score":0.2421208,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00638238572521516,"score_gpt":0.2596412441761904,"score_spread":0.2532588584509752,"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."}}