{"id":"W2754637624","doi":"10.1007/s10703-017-0298-3","title":"Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems","year":2017,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Tracing; Correctness; Control flow graph; Power consumption; Usability; Runtime verification; Real-time computing; Embedded system; Formal verification; Power (physics); Programming language; Operating system","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.0042664,0.0002636737,0.00052413,0.0002348068,0.0003848086,0.0004004529,0.0008591813,0.0001772095,9.496569e-7],"category_scores_gemma":[0.0003840972,0.0002391844,0.00004134261,0.0001907753,0.00007119112,0.002788163,0.0005830595,0.0002715063,0.00001148276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000393522,"about_ca_system_score_gemma":0.00004612225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002425241,"about_ca_topic_score_gemma":0.00000474676,"domain_scores_codex":[0.9973128,0.0007221019,0.0006849827,0.0005290645,0.0002649458,0.0004860398],"domain_scores_gemma":[0.9982139,0.0002379741,0.0003758013,0.0009472999,0.0001321233,0.00009285649],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.004370295,0.0005066202,0.04119931,0.01032426,0.0003275873,0.000822673,0.2205871,0.04391409,0.1909445,0.1787457,0.0001566896,0.3081011],"study_design_scores_gemma":[0.002149039,0.0008889855,0.01365762,0.005841471,0.00001872606,0.0004265618,0.004136424,0.3067453,0.6613777,0.002303319,0.0008390105,0.001615926],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01197996,0.0002319958,0.9837481,0.00001563011,0.001172064,0.001673531,0.000001940189,0.0003003634,0.0008763929],"genre_scores_gemma":[0.5466647,0.00001827802,0.4530268,0.000006754153,0.00003275896,0.0002072578,8.215149e-8,0.0000117001,0.000031631],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5346848,"threshold_uncertainty_score":0.9753659,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06240086683733612,"score_gpt":0.3729549848982103,"score_spread":0.3105541180608742,"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."}}