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