Login / Signup
Android Run-time Permission Exploitation User Awareness by Means of Formal Methods.
Fausto Fasano
Fabio Martinelli
Francesco Mercaldo
Antonella Santone
Published in:
ICISSP (2020)
Keyphrases
</>
formal methods
formal specification
formal analysis
development lifecycle
knowledge based systems
model checker
user interface
provably correct
safety critical
end users
process algebra
user interaction
databases
user experience
model checking
software engineering
artificial intelligence