Android permissions demystified, Proceedings of the 18th ACM conference on Computer and communications security, CCS '11, p.627638, 2011. ,
DOI : 10.1145/2046707.2046779
A Study of Android Application Security, Proceedings of the 20th USENIX Conference on Security, p.21, 2011. ,
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
Effective Inter-Component Communication Mapping in Android with Epicc: An essential step towards holistic security analysis, Proceedings of the 22nd USENIX Security Symposium, 2013. ,
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
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
All Your Droid are Belong to Us: A survey of current Android attacks, WOOT, p.8190, 2011. ,
Security Enhanced (SE) Android: Bringing Flexible MAC to Android, Network & Distributed System Security Symposium, NDSS'13, 2013. ,
SCanDroid: Automated Security Certification of Android Applications, 2009. ,
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. ,
TaintDroid, OSDI, p.255270, 2010. ,
DOI : 10.1145/2619091
Highly Precise Taint Analysis for Android Applications, EC SPRIDE, 2013. ,
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
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps, PLDI, p.29, 2014. ,
Reflection Analysis for Java, Programming Languages and Systems, p.139160, 2005. ,
DOI : 10.1007/11575467_11
Static Analysis of Dalvik Bytecode and Reflection in Android ,
SymDroid: Symbolic Execution for Dalvik Bytecode, 2012. ,
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
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
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
AppIntent, Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, CCS '13, pp.1043-1054, 2013. ,
DOI : 10.1145/2508859.2516676
DroidScope: Seamlessly Reconstructing the OS and Dalvik Semantic Views for Dynamic Android Malware Analysis, USENIX Security Symposium, pp.569-584, 2012. ,
A Formal Framework for the Java Bytecode Language and Verifier, OOPSLA, pp.147-166, 1999. ,
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