Automatic security verification of mobile app configurations

Gabriele Costa, Alessio Merlo, Luca Verderame, Alessandro Armando. Automatic security verification of mobile app configurations. Future Generation Comp. Syst., 80:519-536, 2018. [doi]

Abstract

Abstract is missing.