A. P. Felt, E. Chin, S. Hanna, D. Song, and D. Wagner, Android permissions demystified, Proceedings of the 18th ACM conference on Computer and communications security, CCS '11, p.627638, 2011.
DOI : 10.1145/2046707.2046779

W. Enck, D. Octeau, P. Mcdaniel, and S. Chaudhuri, A Study of Android Application Security, Proceedings of the 20th USENIX Conference on Security, p.21, 2011.

D. Octeau, S. Jha, and P. Mcdaniel, Retargeting Android applications to Java bytecode, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE '12, p.6, 2012.
DOI : 10.1145/2393596.2393600

D. Octeau, P. Mcdaniel, S. Jha, A. Bartel, E. Bodden et al., Effective Inter-Component Communication Mapping in Android with Epicc: An essential step towards holistic security analysis, Proceedings of the 22nd USENIX Security Symposium, 2013.

E. Chin, A. P. Felt, K. Greenwood, and D. Wagner, Analyzing inter-application communication in Android, Proceedings of the 9th international conference on Mobile systems, applications, and services, MobiSys '11, p.239252, 2011.
DOI : 10.1145/1999995.2000018

P. Mcdaniel and W. Enck, Not So Great Expectations: Why Application Markets Haven't Failed Security, IEEE Security & Privacy Magazine, vol.8, issue.5, p.7678, 2010.
DOI : 10.1109/MSP.2010.159

T. Vidas, D. Votipka, and N. Christin, All Your Droid are Belong to Us: A survey of current Android attacks, WOOT, p.8190, 2011.

S. Smalley and R. Craig, Security Enhanced (SE) Android: Bringing Flexible MAC to Android, Network & Distributed System Security Symposium, NDSS'13, 2013.

A. P. Fuchs, A. Chaudhuri, and J. S. Foster, SCanDroid: Automated Security Certification of Android Applications, 2009.

J. Kim, Y. Yoon, K. Yi, J. Shin, and S. Center, ScanDal: Static Analyzer for Detecting Privacy Leaks in Android Applications, Proceedings of the Workshop on Mobile Security Technologies (MoST), in conjunction with the IEEE Symposium on Security and Privacy, 2012.

W. Enck, P. Gilbert, B. Chun, L. P. Cox, J. Jung et al., TaintDroid, OSDI, p.255270, 2010.
DOI : 10.1145/2619091

C. Fritz, S. Arzt, S. Rasthofer, E. Bodden, A. Bartel et al., Highly Precise Taint Analysis for Android Applications, EC SPRIDE, 2013.

S. Rasthofer, S. Arzt, and E. Bodden, A Machine-learning Approach for Classifying and Categorizing Android Sources and Sinks, Proceedings 2014 Network and Distributed System Security Symposium, 2014.
DOI : 10.14722/ndss.2014.23039

S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel et al., FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps, PLDI, p.29, 2014.

B. Livshits, J. Whaley, and M. S. Lam, Reflection Analysis for Java, Programming Languages and Systems, p.139160, 2005.
DOI : 10.1007/11575467_11

E. R. Wognsen and H. S. Karlsen, Static Analysis of Dalvik Bytecode and Reflection in Android

J. Jeon, K. K. Micinski, and J. S. Foster, SymDroid: Symbolic Execution for Dalvik Bytecode, 2012.

E. Payet and F. Spoto, An operational semantics for android activities, Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, PEPM '14, pp.121-132, 2014.
DOI : 10.1145/2543728.2543748

URL : https://hal.archives-ouvertes.fr/hal-01451693

W. Klieber, L. Flynn, A. Bhosale, L. Jia, and L. Bauer, Android taint flow analysis for app sets, Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis, SOAP '14, pp.1-6, 2014.
DOI : 10.1145/2614628.2614633

A. Rountev and D. Yan, Static Reference Analysis for GUI Objects in Android Software, Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO '14, p.143, 2014.
DOI : 10.1145/2581122.2544159

Z. Yang, M. Yang, Y. Zhang, G. Gu, P. Ning et al., AppIntent, Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, CCS '13, pp.1043-1054, 2013.
DOI : 10.1145/2508859.2516676

L. Yan and H. Yin, DroidScope: Seamlessly Reconstructing the OS and Dalvik Semantic Views for Dynamic Android Malware Analysis, USENIX Security Symposium, pp.569-584, 2012.

S. N. Freund and J. C. Mitchell, A Formal Framework for the Java Bytecode Language and Verifier, OOPSLA, pp.147-166, 1999.

A. Milanova, A. Rountev, and B. G. Ryder, Parameterized object sensitivity for points-to analysis for Java, ACM Transactions on Software Engineering and Methodology, vol.14, issue.1, pp.1-41, 2005.
DOI : 10.1145/1044834.1044835