{"id":"W4285198837","doi":"10.1007/978-3-031-08147-7_22","title":"$$\\mathbb {K}$$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications","year":2022,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Executable; Computer science; Programming language; Android (operating system); Semantics (computer science); Android application; Operating system; Software engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007362028,0.0003526822,0.0004474881,0.0006985084,0.000349042,0.0001834075,0.002644382,0.0002063773,0.00001452204],"category_scores_gemma":[0.00005977783,0.0003821287,0.0001232531,0.0008655998,0.00040315,0.0008409362,0.0008701977,0.000444975,0.000002505605],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002900651,"about_ca_system_score_gemma":0.0003760795,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001179877,"about_ca_topic_score_gemma":0.00001431582,"domain_scores_codex":[0.9969583,0.00003117409,0.0005851273,0.001323142,0.0006797151,0.0004225883],"domain_scores_gemma":[0.9967819,0.0002422392,0.0005700002,0.001840885,0.0004530585,0.0001119502],"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.000009735318,0.0001028625,0.000003787467,0.0001050729,0.000007019225,0.000003290014,0.0002480645,0.00955942,0.001211627,0.06539625,0.00001634633,0.9233365],"study_design_scores_gemma":[0.000426329,0.0014976,0.00001935683,0.0001498984,0.00002677084,0.00007613334,0.000001144196,0.4410668,0.03744903,0.390704,0.1275534,0.001029525],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001108061,0.0001394404,0.9955966,0.0001842886,0.0004273812,0.002473495,0.00003060381,0.0005876431,0.0005494868],"genre_scores_gemma":[0.01331769,0.00006152885,0.9853673,0.0002012879,0.0001280978,0.0006871141,0.00003572509,0.00004046671,0.0001607604],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.922307,"threshold_uncertainty_score":0.9998631,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02007427276300648,"score_gpt":0.2877979982755003,"score_spread":0.2677237255124938,"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."}}