{"id":"W3094765681","doi":"10.1109/lcsys.2020.3033059","title":"Covert Channels in Cyber-Physical Systems","year":2020,"lang":"en","type":"article","venue":"IEEE Control Systems Letters","topic":"Smart Grid Security and Resilience","field":"Engineering","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Reachability; Computer science; Channel (broadcasting); Covert channel; Controller (irrigation); Covert; Dual (grammatical number); Computer network; Real-time computing; Theoretical computer science","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001295069,0.000227435,0.0004965036,0.00007193804,0.000038536,0.0001101046,0.0002594073,0.00009238898,0.000001908322],"category_scores_gemma":[0.00002138378,0.0002143201,0.00009312902,0.0002327524,0.00003934747,0.0001692235,0.000009627654,0.0002875243,0.0002061619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009233257,"about_ca_system_score_gemma":0.00001045389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001801172,"about_ca_topic_score_gemma":0.00000444174,"domain_scores_codex":[0.9985729,0.0001008582,0.000337726,0.0002723663,0.0002858468,0.0004302276],"domain_scores_gemma":[0.9994434,0.0001260494,0.00004164235,0.0001954731,0.00001802674,0.0001754128],"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.00001661308,0.0000122361,0.0003442473,0.0002439806,0.00004759862,0.0001023276,0.000984394,0.8856294,0.09862643,0.0001241455,0.0138519,0.0000167036],"study_design_scores_gemma":[0.00129424,0.00003648088,0.0001622228,0.0001423385,0.00001525137,0.00001692609,0.0001386082,0.9855787,0.0004875983,0.000001120122,0.01180576,0.0003208049],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9715936,0.001185148,0.01609048,0.00187594,0.007428835,0.0008380827,0.00003187367,0.00044047,0.0005155277],"genre_scores_gemma":[0.9964955,0.000009260361,0.000001297347,0.000928873,0.002399154,0.0001104295,0.000002277405,0.0000366731,0.00001656171],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.09994923,"threshold_uncertainty_score":0.8739722,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008696340794966485,"score_gpt":0.1862117537345116,"score_spread":0.1775154129395451,"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."}}