Model-Checking for Android Malware Detection

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]

Authors

Fu Song

This author has not been identified. Look up 'Fu Song' in Google

Tayssir Touili

This author has not been identified. It may be one of the following persons: Look up 'Tayssir Touili' in Google