{"id":"W3199006684","doi":"10.3233/faia210011","title":"Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting1","year":2021,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Android (operating system); Computer science; Rewriting; Correctness; Security policy; Enforcement; Executable; Programming language; Computer security; Android malware; Static analysis; Operating system","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.0001861507,0.0002923648,0.0003257686,0.0003721978,0.0003168232,0.0001769846,0.0004269264,0.0002264932,0.00001819621],"category_scores_gemma":[0.00001936934,0.0003371644,0.00005947915,0.0002597102,0.000216371,0.0002828039,0.00026284,0.0004062781,0.00001502411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001570594,"about_ca_system_score_gemma":0.00008843534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002525099,"about_ca_topic_score_gemma":0.0000195063,"domain_scores_codex":[0.9981646,0.00001696613,0.0005756856,0.0007201422,0.0002235381,0.0002990852],"domain_scores_gemma":[0.9988273,0.00007404835,0.0002336308,0.0006421462,0.0000908644,0.0001320552],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000001398544,0.00002342835,0.000001233386,0.00002610981,0.000006543554,7.396903e-7,0.00006795634,0.00001061023,0.00001664812,0.5350664,0.0004357956,0.4643431],"study_design_scores_gemma":[0.00002365942,0.00007072864,0.000001051162,0.00009307639,0.00001116014,0.00001161815,0.000142028,0.01234018,0.004157243,0.7312782,0.2515112,0.0003599346],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000005969632,0.001120077,0.9631848,0.0004593865,0.00005285132,0.001147601,0.00005823085,0.0002368565,0.03373428],"genre_scores_gemma":[0.1907192,0.03530454,0.6597838,0.005397282,0.002407446,0.01966869,0.000902392,0.0004186536,0.08539797],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4639832,"threshold_uncertainty_score":0.999908,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01703709337035037,"score_gpt":0.2782827629750416,"score_spread":0.2612456696046912,"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."}}