{"id":"W4414322174","doi":"10.1109/tse.2025.3610540","title":"Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning","year":2025,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Network Security and Intrusion Detection","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Trinity College","funders":"Science Foundation Ireland","keywords":"Smart card; Key (lock); Abductive reasoning; Data integrity; Home automation","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001483329,0.00124017,0.001006399,0.001403642,0.0006513055,0.001569072,0.001726997,0.001707258,0.001678829],"category_scores_gemma":[0.005864488,0.0006986533,0.001116063,0.0005836127,0.001232084,0.002239298,0.001500293,0.001491874,0.0002602264],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009372029,"about_ca_system_score_gemma":0.001041453,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008746563,"about_ca_topic_score_gemma":0.01149691,"domain_scores_codex":[0.9984924,0.0003850667,0.0001516406,0.0003590784,0.0004196313,0.0001922758],"domain_scores_gemma":[0.9965916,0.002345005,0.000343252,0.0003040677,0.0003361684,0.00007999364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004840551,0.0003155901,0.01231011,0.0002482378,0.0002168409,0.001230261,0.0003380458,0.8618372,0.0062854,0.009078521,0.001620197,0.1060356],"study_design_scores_gemma":[0.00001903053,0.00002381372,0.0003780938,0.00001385184,0.00002464047,0.00006235648,0.00006847252,0.9897749,0.001593352,0.007854152,0.0001802645,0.000007051297],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1529376,0.0004237725,0.8402952,0.0006662323,0.00006503895,0.0001515884,0.0002816796,0.002371117,0.002807856],"genre_scores_gemma":[0.8755987,0.0001502858,0.1229271,0.00009234196,0.00002155579,0.00004254542,0.0002293682,0.00003770919,0.0009002504],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008746563,"threshold_uncertainty_score":0.01739132,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009391897563815026,"score_gpt":0.2366931274256933,"score_spread":0.2273012298618783,"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."}}