Joseph Hallett, David Aspinall 0001. AppPAL for Android - Capturing and Checking Mobile App Policies. In Juan Caballero, Eric Bodden, Elias Athanasopoulos, editors, Engineering Secure Software and Systems - 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings. Volume 9639 of Lecture Notes in Computer Science, pages 216-232, Springer, 2016. [doi]
Abstract is missing.