, Compilers, Principles Techniques and Tools, 1986.
A methodology for empirical analysis of permission-based security models and its application to Android, Proceedings of the 17th ACM Conference on Computer and Communications Security (CCS'10), pp.73-84, 2010. ,
Towards taming privilege-escalation attacks on Android, Proceedings of the 19th Network and Distributed System Security Symposium (NDSS'12), 2012. ,
Analyzing interapplication communication in Android, Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services (MobiSys'11), pp.239-252, 2011. ,
QUIRE: Lightweight provenance for smart phone operating systems, Proceedings of the 20th USENIX Security Symposium. USENIX Association, 2011. ,
TaintDroid: An information-flow tracking system for realtime privacy monitoring on smartphones, Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI'10), pp.393-407, 2010. ,
A study of Android application security, Proceedings of the 20th USENIX Security Symposium (SEC'11). USENIX Association, 2011. ,
Android permissions demystified, Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS'11), pp.627-638, 2011. ,
Permission re-delegation: Attacks and defenses, Proceedings of the 20th USENIX Security Symposium. USENIX Association, 2011. ,
SCanDroid: Automated Security Certification of Android Applications, 2009. ,
Specifying and verifying the correctness of dynamic software updates, Proceedings of the 4th International Conference on Verified Software: Theories, Tools, Experiments (VSTTE'12), vol.7152, pp.278-293, 2012. ,
SymDroid: Symbolic execution for Dalvik bytecode, 2012. ,
,
SCANDAL: Static analyzer for detecting privacy leaks in Android applications. Mobile Security Technologies (MoST'12), a part of the IEEE Computer Society Security and Privacy Workshops, 2012. ,
,
Object-Oriented Type Inference, Proc. of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'91), vol.26, pp.146-161, 1991. ,
Static analysis of Android programs. Information & Software Technology, vol.54, pp.1192-1201, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01188018
A termination analyzer for Java bytecode based on path-length, ACM Transactions on Programming Languages and Systems, vol.32, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01186167
Scalable Propagation-based Call Graph Construction Algorithms, Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA), pp.281-293, 2000. ,
Static analysis of Dalvik bytecode and reflection in Android, 2012. ,