Model Driven Mutation Applied to Adaptative Systems Testing. - Alexandre Bartel; Benoit Baudry; Freddy Muñoz; Jacques Klein; Tejeddine Mouelhi; Yves Le Traon (ICST Workshops, 2011)

Automatically securing permission-based software by reducing the attack surface: an application to Android. - Alexandre Bartel; Jacques Klein; Yves Le Traon; Martin Monperrus (ASE, 2012)

Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot. - Alexandre Bartel; Jacques Klein; Yves Le Traon; Martin Monperrus (SOAP@PLDI, 2012)

Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation - Alexandre Bartel; Jacques Klein; Martin Monperrus; Kevin Allix; Yves Le Traon (CoRR, 2012)

Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis. - Damien Octeau; Patrick D. McDaniel; Somesh Jha; Alexandre Bartel; Eric Bodden; Jacques Klein; Yves Le Traon (USENIX Security Symposium, 2013)

Detecting Privacy Leaks in Android Apps. - Li Li 029; Alexandre Bartel; Jacques Klein; Yves Le Traon (ESSoS Doctoral Symposium, 2014)

FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. - Steven Arzt; Siegfried Rasthofer; Christian Fritz 002; Eric Bodden; Alexandre Bartel; Jacques Klein; Yves Le Traon; Damien Octeau; Patrick D. McDaniel (PLDI, 2014)

Automatically Exploiting Potential Component Leaks in Android Applications. - Li Li 029; Alexandre Bartel; Jacques Klein; Yves Le Traon (TrustCom, 2014)

I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis. - Li Li 029; Alexandre Bartel; Jacques Klein; Yves Le Traon; Steven Arzt; Siegfried Rasthofer; Eric Bodden; Damien Octeau; Patrick D. McDaniel (CoRR, 2014)

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android. - Alexandre Bartel; Jacques Klein; Martin Monperrus; Yves Le Traon (IEEE Trans. Software Eng., 2014)

Security Analysis of Permission-Based Systems using Static Analysis: An Application to the Android Stack. - Alexandre Bartel (2014)

IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. - Li Li 029; Alexandre Bartel; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon; Steven Arzt; Siegfried Rasthofer; Eric Bodden; Damien Octeau; Patrick D. McDaniel (ICSE (1), 2015)

Potential Component Leaks in Android Apps: An Investigation into a New Feature Set for Malware Detection. - Li Li 029; Kevin Allix; Daoyuan Li; Alexandre Bartel; Tegawendé F. Bissyandé; Jacques Klein (QRS, 2015)

ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis. - Li Li 029; Alexandre Bartel; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon (SEC, 2015)

An In-Depth Study of More Than Ten Years of Java Exploitation. - Philipp Holzinger; Stefan Triller; Alexandre Bartel; Eric Bodden (CCS, 2016)

Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality. - Andreas Follner; Alexandre Bartel; Eric Bodden (ESSoS, 2016)

Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis. - Damien Octeau; Somesh Jha; Matthew L. Dering; Patrick D. McDaniel; Alexandre Bartel; Li Li 029; Jacques Klein; Yves Le Traon (POPL, 2016)

Towards a generic framework for automating extensive analysis of Android applications. - Li Li 029; Daoyuan Li; Alexandre Bartel; Tegawendé F. Bissyandé; Jacques Klein; Yves Le Traon (SAC, 2016)

PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. - Andreas Follner; Alexandre Bartel; Hui Peng; Yu-Chen Chang; Kyriakos K. Ispoglou; Mathias Payer; Eric Bodden (STM, 2016)

The multi-generation repackaging hypothesis. - Li Li 029; Tegawendé F. Bissyandé; Alexandre Bartel; Jacques Klein; Yves Le Traon (ICSE (Companion Volume), 2017)

AndroZoo++: Collecting Millions of Android Apps and Their Metadata for the Research Community. - Li Li 029; Jun Gao 001; Médéric Hurier; Pingfan Kong; Tegawendé F. Bissyandé; Alexandre Bartel; Jacques Klein; Yves Le Traon (CoRR, 2017)

Static analysis of android apps: A systematic literature review. - Li Li 029; Tegawendé F. Bissyandé; Mike Papadakis; Siegfried Rasthofer; Alexandre Bartel; Damien Octeau; Jacques Klein; Yves Le Traon (Inf. Softw. Technol., 2017)

ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware. - Sigmund Albert Gorski III; Benjamin Andow; Adwait Nadkarni; Sunil Manandhar; William Enck; Eric Bodden; Alexandre Bartel (CODASPY, 2019)

Musti: Dynamic Prevention of Invalid Object Initialization Attacks. - Alexandre Bartel; Jacques Klein; Yves Le Traon (IEEE Trans. Inf. Forensics Secur., 2019)

RAICC: Revealing Atypical Inter-Component Communication in Android Apps. - Jordan Samhi; Alexandre Bartel; Tegawendé F. Bissyandé; Jacques Klein (ICSE, 2021)

A Partial Replication of "RAICC: Revealing Atypical Inter-Component Communication in Android Apps". - Jordan Samhi; Alexandre Bartel; Tegawendé F. Bissyandé; Jacques Klein (ICSE (Companion Volume), 2021)

Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities. - William Bonnaventure; Ahmed Khanfir; Alexandre Bartel; Mike Papadakis; Yves Le Traon (QRS, 2021)

On The (In)Effectiveness of Static Logic Bomb Detector for Android Apps. - Jordan Samhi; Alexandre Bartel (CoRR, 2021)

Artefacts for ICSE 2021 technical paper: "RAICC: Revealing Atypical Inter-Component Communication in Android Apps". - Jordan Samhi; Jacques Klein; Tegawendé F. Bissyandé; Alexandre Bartel (Zenodo, 2021)

Android Malware Detection Using BERT. - Badr Souani; Ahmed Khanfir; Alexandre Bartel; Kevin Allix; Yves Le Traon (ACNS Workshops, 2022)

On The (In)Effectiveness of Static Logic Bomb Detection for Android Apps. - Jordan Samhi; Alexandre Bartel (IEEE Trans. Dependable Secur. Comput., 2022)

An In-Depth Analysis of Android's Java Class Library: its Evolution and Security Impact. - Timothée Riom; Alexandre Bartel (SecDev, 2023)

An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. - Imen Sayar; Alexandre Bartel; Eric Bodden; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2023)

Analyzing Prerequistes of known Deserializtion Vulnerabilities on Java Applications. - Bruno Kreyssig; Alexandre Bartel (EASE, 2024)

Lessons Learned and Challenges of Deploying Control Flow Integrity in Complex Software: the Case of OpenJDK's Java Virtual Machine. - Sabine Houy; Alexandre Bartel (SecDev, 2024)

Security Aspects of Cryptocurrency Wallets - A Systematic Literature Review. - Sabine Houy; Philipp Schmid; Alexandre Bartel (ACM Comput. Surv., 2024)

A Qualitative Study of App Acquisition and Management. - Haroon Elahi; Guojun Wang 001; Wenjun Jiang; Alexandre Bartel; Yves Le Traon (IEEE Trans. Comput. Soc. Syst., 2024)

Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities. - Bruno Kreyssig; Alexandre Bartel (Proc. ACM Softw. Eng., 2025)

Deserialization Gadget Chains are not a Pathological Problem in Android:an In-Depth Study of Java Gadget Chains in AOSP. - Bruno Kreyssig; Timothée Riom; Sabine Houy; Alexandre Bartel; Patrick D. McDaniel (CoRR, 2025)

In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison. - Timothée Riom; Sabine Houy; Bruno Kreyssig; Alexandre Bartel (CoRR, 2025)

Sleeping Giants - Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes. - Bruno Kreyssig; Sabine Houy; Timothée Riom; Alexandre Bartel (CoRR, 2025)

Twenty Years Later: Evaluating the Adoption of Control Flow Integrity. - Sabine Houy; Alexandre Bartel (ACM Trans. Softw. Eng. Methodol., 2025)

A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity. - Sabine Houy; Bruno Kreyssig; Timothée Riom; Alexandre Bartel; Patrick D. McDaniel (CoRR, 2025)