{"id":"W2559919425","doi":"10.1145/2991079.2991085","title":"Formal security analysis of smart embedded systems","year":2016,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Rewriting; Internet of Things; Embedded system; Computer security; Model checking; Set (abstract data type); Smart meter; State (computer science); Formal methods; Formal verification; Smart grid; Software engineering; Programming language","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.002538519,0.0008917031,0.0004552369,0.001287963,0.0006852588,0.002032899,0.001305532,0.0009293438,0.002610758],"category_scores_gemma":[0.005857572,0.0005372213,0.001708193,0.0005121659,0.003242024,0.002902101,0.001144237,0.001617209,0.000523733],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002217726,"about_ca_system_score_gemma":0.002227801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003646565,"about_ca_topic_score_gemma":0.002356107,"domain_scores_codex":[0.9972413,0.0008170107,0.0002174615,0.0003353092,0.001095517,0.0002934954],"domain_scores_gemma":[0.995041,0.002885603,0.00057935,0.0006543403,0.0007462507,0.00009359005],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003012441,0.00008164134,0.0007472247,0.0001424319,0.00003458412,0.0002797108,0.0003877438,0.1568875,0.00603722,0.8252655,0.0006205729,0.009485783],"study_design_scores_gemma":[0.00003804441,0.0000497584,0.0001809237,0.00006035812,0.00003948206,0.000100437,0.00009403142,0.5203697,0.007379261,0.4623652,0.009293571,0.00002936633],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01859411,0.0002179659,0.9730243,0.000423853,0.00003982972,0.00008903241,0.0001331052,0.0005309358,0.006946831],"genre_scores_gemma":[0.6587958,0.0007157795,0.3319077,0.0003316053,0.0001372612,0.0004190087,0.0004867618,0.0003053465,0.006900644],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003646565,"threshold_uncertainty_score":0.01609081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01948042908463169,"score_gpt":0.2568146676216766,"score_spread":0.2373342385370449,"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."}}