{"id":"W4291972620","doi":"10.1145/3556977","title":"Practical Software-Based Shadow Stacks on x86-64","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Architecture and Code Optimization","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Huawei Technologies (Canada)","funders":"Australian Research Council; University of New South Wales","keywords":"Computer science; x86; Spec#; Operating system; Call stack; Software; Backward compatibility; Embedded system; Stack (abstract data type); Programming language","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.0002275344,0.0001566488,0.0001212698,0.0002343355,0.0009908056,0.0001448117,0.0004597433,0.00005600506,0.0001758878],"category_scores_gemma":[0.00006938157,0.0001622437,0.00006390316,0.0005171357,0.00004168522,0.0001465543,0.0000308054,0.0005362894,0.000006037098],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006392041,"about_ca_system_score_gemma":0.0001106176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007932453,"about_ca_topic_score_gemma":0.000007230142,"domain_scores_codex":[0.9985396,0.0002008195,0.000202053,0.0004742904,0.0003786283,0.0002045741],"domain_scores_gemma":[0.9986079,0.0005150656,0.00009064021,0.0006517742,0.00004488818,0.00008974057],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006317598,0.0001977749,0.000007786506,0.000007219961,0.00001188882,0.000003869685,0.000442343,0.9348261,0.00001210385,0.002339782,0.0001402385,0.06194777],"study_design_scores_gemma":[0.0006510944,0.0005304509,0.00005657151,0.00001603289,0.00001831443,0.00004645623,0.0000625403,0.9868726,0.0005939134,0.002791003,0.008093988,0.0002670445],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0003899989,0.00001736534,0.9882745,0.01024461,0.0002797441,0.0002163826,0.0000302111,0.0003283034,0.0002188518],"genre_scores_gemma":[0.379411,0.00001388059,0.6167703,0.003549727,0.00003389776,0.00008821255,0.00002674966,0.00001764184,0.00008860476],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.379021,"threshold_uncertainty_score":0.7620575,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02701125114130588,"score_gpt":0.2751519209897549,"score_spread":0.2481406698484491,"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."}}