Modelling Analysis and Auto-detection of Cryptographic Misuse in Android Applications | IEEE Conference Publication | IEEE Xplore