"Confidentiality for Android apps: Specification and verification."

Sarah Ereth, Steffen Lortz, Matthias Perner (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics