{"id":"W2946012514","doi":"10.1145/3316781.3317897","title":"Revisiting the ARM Debug Facility for OS Kernel Security","year":2019,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Kootenay Association for Science & Technology","funders":"","keywords":"Computer science; Debugging; Linux kernel; Embedded system; Spec#; Kernel (algebra); Operating system; ARM architecture; Overhead (engineering); Software; Software security assurance; Programming language; Cloud computing; Cloud computing security","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.0009259756,0.00008881816,0.0001071584,0.00002007819,0.0002314002,0.0002022251,0.000905261,0.00004214827,0.00008131703],"category_scores_gemma":[0.0001171529,0.00006288959,0.00008732288,0.0001803808,0.00002314406,0.0002331554,0.0002073466,0.0001228289,0.0002106574],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002530118,"about_ca_system_score_gemma":0.00003860753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002560053,"about_ca_topic_score_gemma":0.000001652202,"domain_scores_codex":[0.9989882,0.00006320613,0.0002130693,0.0003502683,0.000164762,0.0002204675],"domain_scores_gemma":[0.9985479,0.0005207167,0.00008414184,0.0006959311,0.000109987,0.00004129812],"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.000008377191,0.00005013779,0.006491743,0.0001293226,0.00002224239,4.760026e-7,0.003773219,0.0001642054,0.0002535942,0.8722721,0.001825349,0.1150093],"study_design_scores_gemma":[0.0004212437,0.00004189705,0.003998129,0.0000278288,0.000004897381,0.00001068148,0.0003245535,0.849815,0.002480026,0.03623182,0.1063551,0.0002889132],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08170933,0.00007793352,0.9039648,0.004358873,0.0004971089,0.0004844232,0.000004633803,0.0002598667,0.008643097],"genre_scores_gemma":[0.9878462,0.000003077082,0.01065837,0.0009686936,0.0001518977,0.00001632351,0.000002547997,0.000002697931,0.0003501931],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9061369,"threshold_uncertainty_score":0.2707645,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02519338034374301,"score_gpt":0.2676779796637481,"score_spread":0.242484599320005,"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."}}