Alexandre Bartel
Alexandre Bartel
Verified email at - Homepage
Cited by
Cited by
Flowdroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps
S Arzt, S Rasthofer, C Fritz, E Bodden, A Bartel, J Klein, Y Le Traon, ...
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
Iccta: Detecting inter-component privacy leaks in android apps
L Li, A Bartel, TF Bissyandé, J Klein, Y Le Traon, S Arzt, S Rasthofer, ...
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
Effective inter-component communication mapping in android with epicc: An essential step towards holistic security analysis
D Octeau, P McDaniel, S Jha, A Bartel, E Bodden, J Klein, Y Le Traon
Effective Inter-Component Communication Mapping in Android with Epicc: An …, 2013
Static analysis of android apps: A systematic literature review
L Li, TF Bissyandé, M Papadakis, S Rasthofer, A Bartel, D Octeau, J Klein, ...
Information and Software Technology 88, 67-95, 2017
Dexpler: converting android dalvik bytecode to jimple for static analysis with soot
A Bartel, J Klein, Y Le Traon, M Monperrus
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in …, 2012
Automatically securing permission-based software by reducing the attack surface: An application to android
A Bartel, J Klein, Y Le Traon, M Monperrus
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
Highly precise taint analysis for android applications
C Fritz, S Arzt, S Rasthofer, E Bodden, A Bartel, J Klein, Y Le Traon, ...
Combining static analysis with probabilistic models to enable market-scale android inter-component analysis
D Octeau, S Jha, M Dering, P McDaniel, A Bartel, L Li, J Klein, Y Le Traon
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis
L Li, A Bartel, J Klein, YL Traon, S Arzt, S Rasthofer, E Bodden, D Octeau, ...
arXiv preprint arXiv:1404.7431, 2014
Apkcombiner: Combining multiple android apps to support inter-app analysis
L Li, A Bartel, TF Bissyandé, J Klein, YL Traon
ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015
Static analysis for extracting permission checks of a large scale framework: The challenges and solutions for analyzing android
A Bartel, J Klein, M Monperrus, Y Le Traon
IEEE Transactions on Software Engineering 40 (6), 617-632, 2014
Automatically exploiting potential component leaks in android applications
L Li, A Bartel, J Klein, Y Le Traon
2014 IEEE 13th International Conference on Trust, Security and Privacy in …, 2014
Androzoo++: Collecting millions of android apps and their metadata for the research community
L Li, J Gao, M Hurier, P Kong, TF Bissyandé, A Bartel, J Klein, YL Traon
arXiv preprint arXiv:1709.05281, 2017
An in-depth study of more than ten years of java exploitation
P Holzinger, S Triller, A Bartel, E Bodden
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
Improving privacy on android smartphones through in-vivo bytecode instrumentation
A Bartel, J Klein, M Monperrus, K Allix, Y Le Traon
University of Luxembourg, 2012
Potential component leaks in Android apps: An investigation into a new feature set for malware detection
L Li, K Allix, D Li, A Bartel, TF Bissyandé, J Klein
2015 IEEE International Conference on Software Quality, Reliability and …, 2015
Analyzing the gadgets: towards a metric to measure gadget quality
A Follner, A Bartel, E Bodden
Engineering Secure Software and Systems: 8th International Symposium, ESSoS …, 2016
PSHAPE: automatically combining gadgets for arbitrary method execution
A Follner, A Bartel, H Peng, YC Chang, K Ispoglou, M Payer, E Bodden
Security and Trust Management: 12th International Workshop, STM 2016 …, 2016
Acminer: Extraction and analysis of authorization checks in android's middleware
SA Gorski, B Andow, A Nadkarni, S Manandhar, W Enck, E Bodden, ...
Proceedings of the Ninth ACM Conference on Data and Application Security and …, 2019
Model driven mutation applied to adaptative systems testing
A Bartel, B Baudry, F Munoz, J Klein, T Mouelhi, Y Le Traon
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
The system can't perform the operation now. Try again later.
Articles 1–20