{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001016199,0.001547288,0.0006444108,0.0007975386,0.0007666711,0.001799837,0.003091393,0.0005570146,0.003373865],"category_scores_gemma":[0.003688133,0.0005603734,0.0005195452,0.0005870216,0.001004008,0.003118369,0.003269024,0.001189239,0.001631495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001022771,"about_ca_system_score_gemma":0.002360271,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004855016,"about_ca_topic_score_gemma":0.004679932,"domain_scores_codex":[0.9982684,0.0002252769,0.0001446933,0.0002961748,0.0005980135,0.0004674697],"domain_scores_gemma":[0.997871,0.000346385,0.000329564,0.0008694662,0.0003077724,0.000275902],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.009451689,0.001303901,0.04094002,0.001492305,0.0004938064,0.001118464,0.001252065,0.04952547,0.1925312,0.01811021,0.09883414,0.5849467],"study_design_scores_gemma":[0.0007755073,0.001794523,0.0114087,0.0001864332,0.0003287368,0.0008245755,0.0003504013,0.6121319,0.3053869,0.009404478,0.05705319,0.0003545588],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4128812,0.007856739,0.28558,0.0007942266,0.0009641882,0.0007603401,0.00200158,0.2718682,0.01729337],"genre_scores_gemma":[0.918083,0.0005040661,0.0739122,0.0004979209,0.00007435719,0.0001483754,0.001669429,0.002092825,0.003017965],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004855016,"threshold_uncertainty_score":0.01128668,"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."}}