An Automatically Verified Prototype of the Android Permissions System.

Maximiliano Cristiá Guido De Luca Carlos Daniel Luna

Published in: CoRR (2022)

Keyphrases

artificial intelligence
neural network
search engine
computer vision
e learning
image processing
case study
data structure
mobile devices
mobile phone
automatically generated