Profil

BARTEL Alexandre

Main Referenced Co-authors
KLEIN, Jacques  (18)
LE TRAON, Yves  (17)
LI, Li  (6)
Monperrus, Martin (4)
BISSYANDE, Tegawendé  (3)
Main Referenced Keywords
security (5); Static Analysis (4); Android (3); java (3); static analysis (3);
Main Referenced Unit & Research Centers
SnT (4)
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Other (2)
SnT centre - University of Luxembourg (1)
Main Referenced Disciplines
Computer science (26)

Publications (total 26)

The most downloaded
3065 downloads
Li, L., Bissyande, T. F. D. A., Papadakis, M., Rasthofer, S., Bartel, A., Octeau, D., Klein, J., & Le Traon, Y. (2017). Static Analysis of Android Apps: A Systematic Literature Review. Information and Software Technology. doi:10.1016/j.infsof.2017.04.001 https://hdl.handle.net/10993/31636

The most cited

320 citations (Scopus®)

Octeau, D., McDaniel, P., Jha, S., Bartel, A., Bodden, E., Klein, J., & Le Traon, Y. (2013). Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis. In Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis. https://hdl.handle.net/10993/12576

Samhi, J., & Bartel, A. (2021). On The (In)Effectiveness of Static Logic Bomb Detector for Android Apps. IEEE Transactions on Dependable and Secure Computing. doi:10.1109/TDSC.2021.3108057
Peer Reviewed verified by ORBi

Samhi, J., Bartel, A., Bissyande, T. F. D. A., & Klein, J. (2021). RAICC: Revealing Atypical Inter-Component Communication in Android Apps. In 43rd International Conference on Software Engineering (ICSE). doi:10.1109/ICSE43902.2021.00126
Peer reviewed

Samhi, J., & Bartel, A. (September 2020). Désamorcer des bombes logiques. Multi-System & Internet Security Cookbook, 111.

Sayar, I., & Bartel, A. (July 2020). De l'utilisation d'une bibliothèque à l'exécution d'un code arbitraire. Multi-System & Internet Security Cookbook, 110.

Bartel, A., Klein, J., & Le Traon, Y. (2019). Désérialisation Java : Une brève introduction au ROP de haut niveau. Multi-System & Internet Security Cookbook, 101.

Bartel, A., Klein, J., & Le Traon, Y. (2019). MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks. IEEE Transactions on Information Forensics and Security. doi:10.1109/TIFS.2019.2894356
Peer Reviewed verified by ORBi

Gorski III, S. A., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., & Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks inAndroid’s Middleware. doi:10.1145/3292006.3300023
Peer reviewed

Bartel, A., Klein, J., & Le Traon, Y. (2018). MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks. (TR-SNT-2018-3). Université du Luxembourg.

Bartel, A. (2018). Exploitation du CVE-2015-4843. Multi-System & Internet Security Cookbook, 95.

Bartel, A., Klein, J., & Le Traon, Y. (2018). Fini le Bac à Sable. Avec le CVE-2017-3272, devenez un grand! Multi-System & Internet Security Cookbook, 97.

Bartel, A., Klein, J., & Le Traon, Y. (2018). Désérialisation Java : Une brève introduction. Multi-System & Internet Security Cookbook, 100.

Bartel, A., & Doe, J. (2018). Twenty years of Escaping the Java Sandbox. Phrack.

Li, L., Bissyande, T. F. D. A., Bartel, A., Klein, J., & Le Traon, Y. (May 2017). The Multi-Generation Repackaging Hypothesis [Poster presentation]. The 39th International Conference on Software Engineering.

Bartel, A. (2017). Architecture 64 bits / aslr: quelles conséquences pour les exploits 32 bits? Étude de cas avec Java et le CVE-2010-0842. Multi-System & Internet Security Cookbook, 89.

Li, L., Bissyande, T. F. D. A., Papadakis, M., Rasthofer, S., Bartel, A., Octeau, D., Klein, J., & Le Traon, Y. (2017). Static Analysis of Android Apps: A Systematic Literature Review. Information and Software Technology. doi:10.1016/j.infsof.2017.04.001
Peer reviewed

Bartel, A. (2014). Security Analysis of Permission-Based Systems using Static Analysis: An Application to the Android Stack [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/19118

Li, L., Bartel, A., Klein, J., & Le Traon, Y. (2014). Automatically Exploiting Potential Component Leaks in Android Applications. (TR-SnT-2014-13). Luxembourg, Luxembourg: SnT.

Li, L., Bartel, A., Klein, J., Le Traon, Y., Arzt, S., Rasthofer, S., Bodden, E., Octeau, D., & McDaniel, P. (2014). I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis. (TR-SNT-2014-9, Technical Report). Luxembourg, Luxembourg: SnT Centre - University of Luxembourg.

Li, L., Bartel, A., Klein, J., & Le Traon, Y. (12 March 2014). Using A Path Matching Algorithm to Detect Inter-Component Leaks in Android Apps [Paper presentation]. Grande Region Security and Reliability Day 2014.

Li, L., Bartel, A., Klein, J., & Le Traon, Y. (26 February 2014). Detecting privacy leaks in Android Apps [Paper presentation]. International Symposium on Engineering Secure Software and Systems - Doctoral Symposium.

Octeau, D., McDaniel, P., Jha, S., Bartel, A., Bodden, E., Klein, J., & Le Traon, Y. (2013). Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis. In Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis.
Peer reviewed

Bartel, A., Klein, J., Monperrus, M., Allix, K., & Le Traon, Y. (2012). Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation. Luxembourg, Unknown/unspecified: uni.lu.

Bartel, A., Klein, J., Monperrus, M., & Le Traon, Y. (2012). Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot. In ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) (pp. 1-12). doi:10.1145/2259051.2259056
Peer reviewed

Bartel, A., Klein, J., Monperrus, M., & Le Traon, Y. (2012). Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android. In IEEE/ACM International Conference on Automated Software Engineering (pp. 1-4). doi:10.1145/2351676.2351722
Peer reviewed

Bartel, A., Klein, J., Monperrus, M., & Le Traon, Y. (2011). Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android. In Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (Tech Report) (pp. 1-11). Tech Report.

Bartel, A., Baudry, B., Munoz, F., Klein, J., Mouelhi, T., & Le Traon, Y. (2011). Model Driven Mutation Applied to Adaptative Systems Testing. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops. doi:10.1109/ICSTW.2011.24
Peer reviewed

Contact ORBilu