{"id":"W4312883519","doi":"10.1007/978-3-031-19523-5_8","title":"$$\\mathbb {K}$$ Semantics for Security Policy Enforcement on Android Applications with Practical Cases","year":2022,"lang":"en","type":"book-chapter","venue":"EAI/Springer Innovations in Communication and Computing","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Enforcement; Rewriting; Android (operating system); Security policy; Computer science; Computer security; Android malware; Malware; Static analysis; Programming language; Operating system; Political science","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.0006417511,0.0003186988,0.0003256161,0.0008581118,0.00082611,0.0001839068,0.0008053187,0.0001461871,0.00001937324],"category_scores_gemma":[0.0001436659,0.000352541,0.00005375361,0.0005840503,0.0001329565,0.0003095022,0.001059606,0.0009014428,0.000003433693],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000373011,"about_ca_system_score_gemma":0.0002416378,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003975402,"about_ca_topic_score_gemma":0.00004414325,"domain_scores_codex":[0.9980948,0.00005804682,0.0006827287,0.0005692844,0.0003379764,0.0002571538],"domain_scores_gemma":[0.9964161,0.0009112915,0.0006446028,0.001606834,0.0003670086,0.00005415974],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001208906,0.00006959775,0.00001357939,0.00004334729,0.00002338641,0.000002600273,0.0002877928,0.0003061038,0.000005635046,0.9700073,0.0001446276,0.02908395],"study_design_scores_gemma":[0.0006562695,0.0003970601,0.00004916493,0.0003010642,0.00002380738,0.0001694664,0.0001214187,0.02316409,0.0002577459,0.159937,0.8141639,0.0007589913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000955744,0.0001705607,0.9224422,0.003914841,0.00005764753,0.001676835,0.00002629134,0.0005103841,0.07110566],"genre_scores_gemma":[0.4190999,0.0006617653,0.5719326,0.001873118,0.0001751098,0.001092028,0.0002190737,0.0001122492,0.00483422],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8140193,"threshold_uncertainty_score":0.9998927,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04035826371649848,"score_gpt":0.3397511322171434,"score_spread":0.2993928685006449,"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."}}