"MorphDroid: Fine-grained Privacy Verification."

Pietro Ferrara, Omer Tripp, Marco Pistoia (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics