"LEILA: Formal Tool for Identifying Mobile Malicious Behaviour."

Gerardo Canfora et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics