{"id":"W4404515181","doi":"10.1145/3689938.3694781","title":"SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions","year":2024,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Universitas Brawijaya","keywords":"Kernel (algebra); Computer science; Computer hardware; Mathematics","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.00036815,0.0001160777,0.0001318075,0.0001714982,0.0001340148,0.0003139318,0.0005222446,0.00006789664,0.00003140804],"category_scores_gemma":[0.00009126635,0.0001055543,0.0001090871,0.0005767918,0.00002413126,0.0002759463,0.0001419558,0.0001312244,0.000149009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005627924,"about_ca_system_score_gemma":0.0001086637,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000449102,"about_ca_topic_score_gemma":0.00005746455,"domain_scores_codex":[0.998753,0.00003619047,0.0002713807,0.0005001742,0.000160611,0.0002787104],"domain_scores_gemma":[0.9988983,0.0004602376,0.00002915508,0.0004537554,0.00008353804,0.00007506579],"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.000004620807,0.00006617812,0.000189204,0.00006146847,0.00001662431,0.00002821879,0.001050216,0.0001214575,0.0005018132,0.8924599,0.01648287,0.08901742],"study_design_scores_gemma":[0.0003439343,0.00005258553,0.01208199,0.0001535457,0.000008939249,0.00006929359,0.0001287578,0.8421365,0.0009820709,0.02141396,0.1222986,0.0003298137],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003636027,0.0005210642,0.9792893,0.003317582,0.001335987,0.0002443688,0.000003342936,0.0007027272,0.01094962],"genre_scores_gemma":[0.8808903,0.00001500163,0.1165001,0.0007815381,0.0001193768,0.00004165006,0.000005355429,0.0000133321,0.001633302],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8772543,"threshold_uncertainty_score":0.4304379,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05384627339178922,"score_gpt":0.3112699545219131,"score_spread":0.2574236811301239,"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."}}