{"id":"W2560252021","doi":"10.1145/2991079.2991114","title":"Code obfuscation against symbolic execution attacks","year":2016,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":138,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Obfuscation; Malware; Computer science; Symbolic execution; Static program analysis; Static analysis; Computer security; Code (set theory); Reverse engineering; Software; Program analysis; Malware analysis; Software engineering; Property (philosophy); Programming language; Software development","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.002076944,0.0008717676,0.0008897289,0.00206501,0.0006887026,0.0009895868,0.0007776386,0.001514894,0.00215982],"category_scores_gemma":[0.01865262,0.0003541044,0.0004788173,0.0007566841,0.002094776,0.002048524,0.001655768,0.001212381,0.0008196521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005918073,"about_ca_system_score_gemma":0.0007610661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003914249,"about_ca_topic_score_gemma":0.0003371959,"domain_scores_codex":[0.9961336,0.001090438,0.0002012882,0.0003392991,0.00172883,0.0005065682],"domain_scores_gemma":[0.9814606,0.009794189,0.002509917,0.004808345,0.001175008,0.0002518702],"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.002360327,0.0005155405,0.007243981,0.001247599,0.0003243112,0.0008649231,0.0008080558,0.1322208,0.207976,0.06607619,0.006331972,0.5740304],"study_design_scores_gemma":[0.0001677273,0.001279952,0.004529471,0.0007105907,0.0003455086,0.001671065,0.000284529,0.5137454,0.4061667,0.05678267,0.01420893,0.0001074674],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7081255,0.004102915,0.2535884,0.001297078,0.0002482421,0.0002326599,0.0002396918,0.007019179,0.02514624],"genre_scores_gemma":[0.9742721,0.000527004,0.02364069,0.00008928739,0.00003763445,0.00004986559,0.0001052545,0.0001102301,0.001167912],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00215982,"threshold_uncertainty_score":0.010984,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01207496292360117,"score_gpt":0.2577418971723689,"score_spread":0.2456669342487677,"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."}}