{"id":"W4403582747","doi":"10.1145/3627673.3679726","title":"Dynamic Neural Control Flow Execution: an Agent-Based Deep Equilibrium Approach for Binary Vulnerability Detection","year":2024,"lang":"en","type":"article","venue":"","topic":"Adversarial Robustness in Machine Learning","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Defence Research and Development Canada; Blackberry (Canada); McGill University; Queen's University","funders":"","keywords":"Computer science; Vulnerability (computing); Binary number; Flow (mathematics); Control (management); Control flow; Artificial neural network; Artificial intelligence; Computer security; 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.0005458541,0.0009833992,0.0006824151,0.0006087472,0.0003454754,0.0006906452,0.001681449,0.001141691,0.002132006],"category_scores_gemma":[0.001948736,0.000501482,0.0006332781,0.0004022647,0.0007226163,0.001286747,0.001136776,0.001688749,0.0003222279],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001350797,"about_ca_system_score_gemma":0.001171837,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01325866,"about_ca_topic_score_gemma":0.01493142,"domain_scores_codex":[0.9997826,0.00003783761,0.000009520335,0.00006855511,0.00004711616,0.00005438616],"domain_scores_gemma":[0.9995304,0.0002169986,0.00006342975,0.00004380083,0.0001068477,0.0000385501],"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.00006994782,0.00007218795,0.001277348,0.00003526749,0.00003698184,0.00008225236,0.00003915,0.9346682,0.001483656,0.005377715,0.00121341,0.05564389],"study_design_scores_gemma":[0.00000184422,0.000004916296,0.00004140989,0.000001754398,0.00000204582,0.000003354229,0.000001495928,0.998139,0.0002149482,0.001490259,0.00009771934,0.00000124906],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08685596,0.000844788,0.9030709,0.000824391,0.0001013668,0.00007645391,0.0002793931,0.002936704,0.005009993],"genre_scores_gemma":[0.8955337,0.0002705275,0.09701363,0.0003441788,0.00003818258,0.0001240639,0.0005538401,0.0001509807,0.005971015],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01325866,"threshold_uncertainty_score":0.02636296,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01563875621875029,"score_gpt":0.2803951293155705,"score_spread":0.2647563730968202,"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."}}