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.…