2 papers
cs.SE2022
An Automatically Verified Prototype of the Android Permissions System
Maximiliano Cristiá, Guido De Luca, Carlos Luna
In a previous work De Luca and Luna presented formal specifications of idealized formulations of the permission model of Android in the Coq proof assistant. This formal development…
cs.CR2020
Towards a certified reference monitor of the Android 10 permission system
Guido De Luca, Carlos Luna
Android is a platform for mobile devices that captures more than 85% of the total market-share. Currently, mobile devices allow people to develop multiple tasks in different areas.…