{"id":"W4389628447","doi":"10.1145/3626787","title":"GuaNary: Efficient Buffer Overflow Detection In Virtualized Clouds Using Intel EPT-based Sub-Page Write Protection Support","year":2023,"lang":"en","type":"article","venue":"Proceedings of the ACM on Measurement and Analysis of Computing Systems","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Engineering and Physical Sciences Research Council; Universitas Brawijaya; Agence Nationale de la Recherche; Microsoft Research","keywords":"Computer science; Buffer overflow; Operating system; Allocator; Virtualization; Guard (computer science); Hypervisor; Memory footprint; Hardware virtualization; Memory leak; Virtual machine; Embedded system; Cloud computing; Memory management; Overlay","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.004742128,0.000201584,0.0005234417,0.001071506,0.0002441928,0.0001551208,0.001092308,0.00008987921,6.535605e-7],"category_scores_gemma":[0.0007714881,0.000169163,0.0002380308,0.004282582,0.00005943516,0.0001182241,0.0004054371,0.0001995205,0.000001163425],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000191557,"about_ca_system_score_gemma":0.00004862153,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001498333,"about_ca_topic_score_gemma":0.000006337012,"domain_scores_codex":[0.9971822,0.0001008536,0.0008395978,0.0004935647,0.001110067,0.0002737127],"domain_scores_gemma":[0.9978665,0.0001215249,0.0008553094,0.0004863984,0.0006201387,0.00005010534],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001263408,0.0003267576,0.0365759,0.0008810043,0.0007251086,9.646793e-7,0.003505673,0.3672931,0.5813302,0.002619287,0.00006172554,0.006553924],"study_design_scores_gemma":[0.0004052905,0.00009602207,0.01715836,0.0004843513,0.0001464419,0.000001450764,0.0002580768,0.9300313,0.05118133,0.00007184485,0.00001142042,0.0001540905],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9496309,0.00004786121,0.04920523,0.0001705403,0.0003618522,0.0004311326,0.000001344353,0.0001120677,0.00003914245],"genre_scores_gemma":[0.9990855,0.00000309284,0.0008187855,0.00002540022,0.00004247006,0.00000942818,0.000001048036,0.00001069732,0.000003604969],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5627382,"threshold_uncertainty_score":0.6898269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06688120345663011,"score_gpt":0.2732601271727245,"score_spread":0.2063789237160944,"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."}}