Fu Song, Tayssir Touili. Model-Checking for Android Malware Detection. In Jacques Garrigue, editor, Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings. Volume 8858 of Lecture Notes in Computer Science, pages 216-235, Springer, 2014. [doi]
Abstract is missing.