{"id":"W4295290086","doi":"10.1145/3563037","title":"Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Privacy and Security","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Agence Nationale de la Recherche; European Commission; Canadian Institute of Steel Construction","keywords":"Computer science; Erasure; Compiler; Constant (computer programming); Cryptography; Erasure code; Theoretical computer science; Binary number; Pointer (user interface); Programming language; Algorithm; Arithmetic; Decoding methods; Computer hardware; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002326348,0.001544088,0.000863192,0.001895868,0.0007731841,0.001980804,0.002557168,0.0008042081,0.008593989],"category_scores_gemma":[0.01210626,0.0009978233,0.001172452,0.001025428,0.002202102,0.004339952,0.002734857,0.001956667,0.00258868],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001750255,"about_ca_system_score_gemma":0.003820538,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00359524,"about_ca_topic_score_gemma":0.005118314,"domain_scores_codex":[0.9961166,0.0009999708,0.0003115648,0.0006304662,0.001589068,0.0003522653],"domain_scores_gemma":[0.9924631,0.00353673,0.000715628,0.002356463,0.0007988312,0.0001292289],"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.001788664,0.0003555092,0.01071789,0.001976676,0.0002706471,0.0006580962,0.001217578,0.107405,0.09043466,0.1774388,0.0281253,0.5796112],"study_design_scores_gemma":[0.0001683034,0.0003199615,0.00157695,0.0002973886,0.0001542801,0.0005504912,0.0002159466,0.6901675,0.1786256,0.08114114,0.04663072,0.0001516829],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01766456,0.0004036051,0.9128974,0.0002623637,0.00008311769,0.0001360083,0.0005253151,0.06480973,0.003217811],"genre_scores_gemma":[0.3281873,0.0003602955,0.6555772,0.000357645,0.00007487825,0.0002356622,0.001648087,0.01038936,0.003169447],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008593989,"threshold_uncertainty_score":0.0287497,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01971775983078193,"score_gpt":0.2599102850599671,"score_spread":0.2401925252291851,"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."}}