Guido De Luca | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Maximiliano Cristiá
17 publications
Carlos Luna
7 publications

research

∙ 09/21/2022

An Automatically Verified Prototype of the Android Permissions System

In a previous work De Luca and Luna presented formal specifications of i...

0 Maximiliano Cristiá, et al. ∙

research

∙ 10/29/2020

Towards a certified reference monitor of the Android 10 permission system

Android is a platform for mobile devices that captures more than 85 tota...

0 Guido De Luca, et al. ∙