TY  - RPRT
TI  - An Automatically Verified Prototype of the Android Permissions System
AU  - Maximiliano Cristiá
AU  - Guido De Luca
AU  - Carlos Luna
PY  - 2022
UR  - https://arxiv.org/abs/2209.10278
ID  - 2209.10278
ER  -