Shuai Shao, Guowei Dong, Tao Guo, Tianchang Yang, Chenjie Shi. Modelling Analysis and Auto-detection of Cryptographic Misuse in Android Applications. In IEEE 12th International Conference on Dependable, Autonomic and Secure Computing, DASC 2014, Dalian, China, August 24-27, 2014. pages 75-80, IEEE, 2014. [doi]
Abstract is missing.