{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006954598,0.001045159,0.0004063877,0.002790574,0.0006069653,0.001069832,0.0004459037,0.0004977559,0.0018531],"category_scores_gemma":[0.002834761,0.0003203542,0.000970087,0.0007524613,0.0005710375,0.002226173,0.0008273871,0.0006566512,0.0006353811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006173195,"about_ca_system_score_gemma":0.001318645,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001798171,"about_ca_topic_score_gemma":0.002294428,"domain_scores_codex":[0.9990257,0.0001471681,0.00007966931,0.0001532813,0.0004808273,0.0001134043],"domain_scores_gemma":[0.9979862,0.0006360186,0.0003030029,0.000489392,0.0005303952,0.0000550534],"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.0007764638,0.0003729766,0.07080385,0.001091552,0.0002627508,0.002544165,0.001920715,0.05578641,0.22238,0.04735626,0.01649897,0.5802059],"study_design_scores_gemma":[0.00003547061,0.0003344303,0.02646316,0.0003498571,0.0001609571,0.001790186,0.0006019378,0.6631615,0.2072242,0.06375876,0.03598881,0.0001307085],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2776594,0.001419643,0.6772735,0.0007289636,0.0001491309,0.000411771,0.001770047,0.03134011,0.009247387],"genre_scores_gemma":[0.8217569,0.0005170627,0.1713661,0.0002284825,0.00005161663,0.0001387547,0.001800066,0.0009720826,0.003168943],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002790574,"threshold_uncertainty_score":0.006199241,"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."}}