Formal Methods for Android Banking Malware Analysis and Detection | IEEE Conference Publication | IEEE Xplore