DroidFDR: Automatic Classification of Android Malware Using Model Checking
DroidFDR: Automatic Classification of Android Malware Using Model Checking by Zhi Yang, Fang Chao, Xing-yuan Chen, Shuyuan Jin, Lei Sun, Xuehui Du Android faces an increasing threat of malware attacks. The few existing formal detection methods have drawbacks such as complex code modeling, incomplete and inaccurate expression of family properties, and excessive manual participation. To this end, this paper proposes […]

