{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001325606,0.001330023,0.0005304372,0.0008737889,0.0006356397,0.001313231,0.002617766,0.001422939,0.006961129],"category_scores_gemma":[0.005118999,0.0008256458,0.0008595507,0.0003240253,0.001300776,0.003552168,0.002963685,0.002374549,0.002705197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000895114,"about_ca_system_score_gemma":0.001352619,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00163649,"about_ca_topic_score_gemma":0.001499352,"domain_scores_codex":[0.998735,0.0001647282,0.00009132101,0.0001882868,0.0004951723,0.000325528],"domain_scores_gemma":[0.9975922,0.000596392,0.0002548452,0.001131323,0.0002975835,0.000127754],"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.003634665,0.0009711421,0.02102464,0.001451163,0.0002151572,0.002182881,0.001366463,0.04929304,0.2477455,0.05061973,0.07028095,0.5512147],"study_design_scores_gemma":[0.0004443394,0.001502838,0.007139524,0.0004025041,0.0001848425,0.002211031,0.0002166628,0.4308007,0.3832478,0.03504513,0.1384783,0.0003264794],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1020222,0.0011266,0.7132803,0.0005170474,0.0003170964,0.0003452415,0.0004607016,0.1729023,0.009028435],"genre_scores_gemma":[0.7475459,0.0004455432,0.2297656,0.0007699534,0.00008335691,0.0003455282,0.001079123,0.009136671,0.0108283],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006961129,"threshold_uncertainty_score":0.0232873,"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."}}