Publications


Bruno Kreyßig, Alexandre Bartel: Analyzing Prerequisites of known Deserialization Vulnerabilities on Java Applications, in International Conference on Evaluation and Assessment in Software Engineering (EASE), 2024 [bib] [pdf]

Timothée Riom, Alexandre Bartel: An In-Depth Analysis of Android’s Java Class Library: its Evolution and Security Impact, in IEEE Secure Development Conference (SecDev), 2023 [bib] [pdf]

Sabine Houy, Philipp Schmid, Alexandre Bartel: Security Aspects of Cryptocurrency Wallets - A Systematic Literature Review, in ACM Computing Surveys (CSUR), 2023 [bib] [pdf]

Imen Sayar, Alexandre Bartel, Yves Le Traon, Eric Bodden: An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities, in ACM Transactions on Software Engineering and Methodology (TOSEM), 2023 [bib] [pdf]

Badr Souani, Ahmed Khanfir, Alexandre Bartel, Kévin Allix, Yves Le Traon: Android Malware Detection Using BERT, in Security in Machine Learning and its Applications (SiMLA@ACNS), 2022

William Bonnaventure, Ahmed Khanfir, Alexandre Bartel, Mike Papadakis, Yves Le Traon: CONFUZZION : A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities, in IEEE International Conference on Software Quality, Reliability and Security (QRS), 2021 [bib] [pdf]

Jordan Samhi, Alexandre Bartel: On The (In)Effectiveness of Static Logic Bomb Detection for Android Apps, in IEEE Transactions on Dependable and Secure Computing (TDSC), 2021 [bib] [pdf]

Alexandre Bartel, August Clement Leve, Mads Østerø Nørregaard: CVE-2020-2805 : Utiliser cent fois une vulnérabilité pour casser cent JVM, in Multi-System & Internet Security Cookbook (MISC), 2021 [bib] [pdf]

Jordan Samhi, Alexandre Bartel, Tagawendé Bissyandé, Jacques Klein: RAICC: Revealing Atypical Inter-Component Communication in Android Apps, in International Conference on Software Engineering (ICSE), 2021 [bib] [pdf]

Jordan Samhi, Alexandre Bartel: Désamorcer des bombes logiques, in Multi-System & Internet Security Cookbook (MISC), 2020 [bib] [pdf]

Imen Sayar, Alexandre Bartel: De l'utilisation d'une bibliothèque à l'exécution d'un code arbitraire, in Multi-System & Internet Security Cookbook (MISC), 2020 [bib] [pdf]


Alexandre Bartel, Jacques Klein, Yves Le Traon: MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks, in IEEE Transactions on Information Forensics and Security (TIFS), 2019 [bib] [pdf]

Alexandre Bartel, Jacques Klein, Yves Le Traon: Désérialisation Java : Une brève introduction au ROP de haut niveau, in Multi-System & Internet Security Cookbook (MISC), 2019 [bib] [pdf]

Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel: ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware, in ACM Conference on Data and Application Security and Privacy (CODASPY), 2019 [bib] [pdf]

Alexandre Bartel, Jacques Klein, Yves Le Traon: Désérialisation Java : Une brève introduction, in Multi-System & Internet Security Cookbook (MISC), 2018 [bib] [pdf]

Alexandre Bartel, Jacques Klein, Yves Le Traon: MUSTI: Dynamic Prevention of Invalid Object Initialization Attacks, technical report, ISBN 978-99959-58-05-3, 2018 [bib] [pdf]

4965 7500 4561 7576 6964 6f75 6d00, 6469 736b 6e6f 6973 6500: 5477 656e 7479 2079 6561 7273 206f 6620 4573 6361 7069 6e67 2074 6865 204a 6176 6120 5361 6e64 626f 7820 2850 6872 6163 6b29, in 5068 7261 636b, 2018

Alexandre Bartel, Jacques Klein, Yves Le Traon: Fini le Bac à Sable. Avec le CVE-2017-3272, devenez un grand!, in Multi-System & Internet Security Cookbook (MISC), 2018 [bib] [pdf] [vid]

Alexandre Bartel: Exploitation du CVE-2015-4843, in Multi-System & Internet Security Cookbook (MISC), 2018 [bib] [pdf] [www]

Alexandre Bartel: Architecture 64 bits / ASLR: Quelles Conséquences pour les Exploits 32 bits? Étude de Cas avec Java et le CVE-2010-0842, in Multi-System & Internet Security Cookbook (MISC), 2017 [bib] [pdf] [www]

Li Li, Tagawendé Bissyandé, Alexandre Bartel, Jacques Klein, Yves Le Traon: The Multi-Generation Repackaging Hypothesis, in International Conference on Software Engineering (ICSE), Buenos Aires, Argentina, 2017 [bib] [pdf]

Li Li, Tagawendé Bissyandé, Mike Papadakis, Siegfried Rasthofer, Alexandre Bartel, Damien Octeau, Jacques Klein, Yves Le Traon: Static Analysis of Android Apps: A Systematic Literature Review, in Information and Software Technology (IST), 2017 [bib] [pdf]

Philipp Holzinger, Stefan Triller, Alexandre Bartel, Eric Bodden: An In-Depth Study of More Than Ten Years of Java Exploitation, in ACM Conference on Computer and Communications Security (CCS), Vienna, Austria, 2016 [bib] [pdf] [www]

Andreas Follner, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos Ispoglou, Mathias Payer, Eric Bodden: PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution, in Security and Trust Management Workshop (STM@ESORICS), Heraklion, Greece, 2016 [bib] [pdf] [www]

Li Li, Daoyuan Li, Alexandre Bartel, Tagawendé Bissyandé, Jacques Klein, Yves Le Traon: Towards a Generic Framework for Automating Extensive Analysis of Android Applications, in ACM SIGAPP Symposium on Applied Computing (SAC), Pisa, Italy, 2016 [bib] [pdf]

Andreas Follner, Alexandre Bartel, Eric Bodden: Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality, in Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS), London, UK, 2016 [bib] [pdf]

Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon: Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis, in ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), New-York, USA, 2016 [bib] [pdf]

Li Li, Kévin Allix, Daoyuan Li, Alexandre Bartel, Tagawendé Bissyandé, Jacques Klein: Potential Component Leaks in Android Apps: An Investigation into a new Feature Set for Malware Detection, in IEEE International Conference on Software Quality, Reliability and Security (QRS), Vancouver, Canada, 2015 [bib] [pdf]

Li Li, Kévin Allix, Daoyuan Li, Alexandre Bartel, Tagawendé Bissyandé, Jacques Klein: A Study of Potential Component Leaks in Android Apps, technical report, ISBN 978-2-87971-141-6, 2015 [bib] [pdf]

Li Li, Alexandre Bartel, Tagawendé Bissyandé, Jacques Klein, Yves Le Traon: ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis, in IFIP International Conference on ICT Systems Security and Privacy Protection (ICT SEC), Hamburg, Germany, 2015 [bib] [pdf]

Steven Arzt, Alexandre Bartel, Richard Gay, Steffen Lortz, Enrico Lovat, Heiko Mantel, Martin Mohr, Benedikt Nordhoff, Matthias Perner, Siegfried Rasthofer, David Schneider, Gregor Snelting, Artem Starostin, Alexandra Weber: Software Security for Mobile Devices, in IEEE Symposium on Security and Privacy (S&P), San Jose, California, USA, 2015 [bib] [pdf]

Li Li, Alexandre Bartel, Tagawendé Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick McDaniel: IccTA: Detecting Inter-Component Privacy Leaks in Android Apps, in International Conference on Software Engineering (ICSE), Florence, Italy, 2015 [bib] [pdf] [www]

Li Li, Alexandre Bartel, Tagawendé Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick McDaniel: I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis, technical report, ISBN 978-2-87971-129-4, 2014 [bib] [pdf] [www]

Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon: Using A Path Matching Algorithm to Detect Inter-Component Leaks in Android Apps, in Grande Region Security and Reliability Day (GRSRD), Saarbrücken, Germany, 2014 [bib] [pdf]

Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon: Automatically Exploiting Potential Component Leaks in Android Applications, in IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Beijing, China, 2014 [bib] [pdf]

Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon: Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android, in IEEE Transactions of Software Engineering (TSE), 2014 [bib] [pdf] [slides]

Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon: FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps, in ACM Programming Language Design and Implementation (PLDI), Edinburgh, UK, 2014 [bib] [pdf] [www]

Christian Fritz, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon: Highly Precise Taint Analysis for Android Applications, technical report, Nr. TUD-CS-2013-0113, 2013 [bib] [pdf]

Damien Octeau, Patrick McDaniel, Somesh Jha, Alexandre Bartel, Eric Bodden, Jacques Klein, Yves Le Traon: Effective inter-component communication mapping in android with epicc: An essential step towards holistic security analysis, in USENIX Security Symposium (USENIX Security), Washington DC, USA, 2013 [bib] [pdf] [www]

Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon: Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android, in IEEE/ACM International Conference on Automated Software Engineering (ASE), Essen, Germany, 2012 [bib] [pdf]

Alexandre Bartel, Jacques Klein, Martin Monperrus, Kévin Allix, Yves Le Traon: Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation, technical report, ISBN 978-2-87971-111-9, 2012 [bib] [pdf]

Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon: Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot, in ACM International Workshop on the State Of The Art in Java Program Analysis (SOAP@PLDI), Beijing, China, 2012 [bib] [pdf] [www]

Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon: Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android, technical report, ISBN 978-2-87971-107-2, 2011 [bib] [pdf]

Alexandre Bartel, Benoît Baudry, Freddy Munoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon: Model Driven Mutation Applied to Adaptative Systems Testing, in Mutation Analysis (Mutation@ICST), Berlin, Germany, 2011 [bib] [pdf]