Alexandre Bartel

58 papers A* 8A 2B 1C 2Misc 2Journal 28Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity.
CoRR
Sabine Houy, Bruno Kreyssig, Timothée Riom, Alexandre Bartel, Patrick D. McDaniel
2025 — conf
Bugfuscation.
NordSec
Alexandre Bartel
2025 J jnl
CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems.
CoRR
Sabine Houy, Bruno Kreyssig, Alexandre Bartel
2025 A* conf
ConfuseTaint: Exploiting Vulnerabilities to Bypass Dynamic Taint Analysis.
ASE
Yufei Wu, Alexandre Bartel
2025 J jnl
Deserialization Gadget Chains are not a Pathological Problem in Android:an In-Depth Study of Java Gadget Chains in AOSP.
CoRR
Bruno Kreyssig, Timothée Riom, Sabine Houy, Alexandre Bartel, Patrick D. McDaniel
2025 A conf
Evaluating the Maintainability of Forward-Porting Vulnerabilities in Fuzzer Benchmarks.
ICSME
Timothée Riom, Sabine Houy, Bruno Kreyssig, Alexandre Bartel
2025 J jnl
FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security.
CoRR
Mojtaba Eshghie, Gabriele Morello, Matteo Lauretano, Alexandre Bartel, Martin Monperrus
2025 — conf
GadgetBuilder: An Overhaul of the Greatest Java Deserialization Exploitation Tool.
NordSec
Bruno Kreyssig, Sabine Houy, Hantang Zhang, Timothée Riom, Alexandre Bartel
2025 J jnl
Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities.
Proc. ACM Softw. Eng.
Bruno Kreyssig, Alexandre Bartel
2025 J jnl
In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison.
CoRR
Timothée Riom, Sabine Houy, Bruno Kreyssig, Alexandre Bartel
2025 J jnl
Raven: Mining Defensive Patterns in Ethereum via Semantic Transaction Revert Invariants Categories.
CoRR
Mojtaba Eshghie, Melissa Mazura, Alexandre Bartel
2025 A* conf
Sleeping Giants - Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes.
CCS
Bruno Kreyssig, Sabine Houy, Timothée Riom, Alexandre Bartel
2025 J jnl
Sleeping Giants - Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes.
CoRR
Bruno Kreyssig, Sabine Houy, Timothée Riom, Alexandre Bartel
2025 J jnl
Twenty Years Later: Evaluating the Adoption of Control Flow Integrity.
ACM Trans. Softw. Eng. Methodol.
Sabine Houy, Alexandre Bartel
2024 J jnl
A Qualitative Study of App Acquisition and Management.
IEEE Trans. Comput. Soc. Syst.
Haroon Elahi, Guojun Wang, Wenjun Jiang, Alexandre Bartel, Yves Le Traon
2024 A conf
Analyzing Prerequistes of known Deserializtion Vulnerabilities on Java Applications.
EASE
Bruno Kreyssig, Alexandre Bartel
2024 — conf
Lessons Learned and Challenges of Deploying Control Flow Integrity in Complex Software: the Case of OpenJDK's Java Virtual Machine.
SecDev
Sabine Houy, Alexandre Bartel
2024 J jnl
Security Aspects of Cryptocurrency Wallets - A Systematic Literature Review.
ACM Comput. Surv.
Sabine Houy, Philipp Schmid, Alexandre Bartel
2023 — conf
An In-Depth Analysis of Android's Java Class Library: its Evolution and Security Impact.
SecDev
Timothée Riom, Alexandre Bartel
2023 J jnl
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.
ACM Trans. Softw. Eng. Methodol.
Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
2022 J jnl
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.
CoRR
Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
2022 — conf
Android Malware Detection Using BERT.
ACNS Workshops
Badr Souani, Ahmed Khanfir, Alexandre Bartel, Kevin Allix, Yves Le Traon
2022 J jnl
On The (In)Effectiveness of Static Logic Bomb Detection for Android Apps.
IEEE Trans. Dependable Secur. Comput.
Jordan Samhi, Alexandre Bartel
2021 — conf
A Partial Replication of "RAICC: Revealing Atypical Inter-Component Communication in Android Apps".
ICSE (Companion Volume)
Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein
2021 C conf
Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities.
QRS
William Bonnaventure, Ahmed Khanfir, Alexandre Bartel, Mike Papadakis, Yves Le Traon
2021 J jnl
On The (In)Effectiveness of Static Logic Bomb Detector for Android Apps.
CoRR
Jordan Samhi, Alexandre Bartel
2021 A* conf
RAICC: Revealing Atypical Inter-Component Communication in Android Apps.
ICSE
Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein
2020 J jnl
RAICC: Revealing Atypical Inter-Component Communication in Android Apps.
CoRR
Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein
2019 — conf
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware.
CODASPY
Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel
2019 J jnl
ACMiner: Extraction and Analysis of Authorization Checks in Android's Middleware.
CoRR
Sigmund Albert Gorski III, Benjamin Andow, Adwait Nadkarni, Sunil Manandhar, William Enck, Eric Bodden, Alexandre Bartel
2019 J jnl
Musti: Dynamic Prevention of Invalid Object Initialization Attacks.
IEEE Trans. Inf. Forensics Secur.
Alexandre Bartel, Jacques Klein, Yves Le Traon
2017 J jnl
AndroZoo++: Collecting Millions of Android Apps and Their Metadata for the Research Community.
CoRR
Li Li, Jun Gao, Médéric Hurier, Pingfan Kong, Tegawendé F. Bissyandé, Alexandre Bartel, Jacques Klein, Yves Le Traon
2017 J jnl
Static analysis of android apps: A systematic literature review.
Inf. Softw. Technol.
Li Li, Tegawendé F. Bissyandé, Mike Papadakis, Siegfried Rasthofer, Alexandre Bartel, Damien Octeau, Jacques Klein, Yves Le Traon
2017 — conf
The multi-generation repackaging hypothesis.
ICSE (Companion Volume)
Li Li, Tegawendé F. Bissyandé, Alexandre Bartel, Jacques Klein, Yves Le Traon
2016 A* conf
An In-Depth Study of More Than Ten Years of Java Exploitation.
CCS
Philipp Holzinger, Stefan Triller, Alexandre Bartel, Eric Bodden
2016 — conf
Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality.
ESSoS
Andreas Follner, Alexandre Bartel, Eric Bodden
2016 J jnl
Analyzing the Gadgets Towards a Metric to Measure Gadget Quality.
CoRR
Andreas Follner, Alexandre Bartel, Eric Bodden
2016 A* conf
Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis.
POPL
Damien Octeau, Somesh Jha, Matthew L. Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon
2016 — conf
PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution.
STM
Andreas Follner, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos K. Ispoglou, Mathias Payer, Eric Bodden
2016 Misc conf
Towards a generic framework for automating extensive analysis of Android applications.
SAC
Li Li, Daoyuan Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
2015 Misc conf
ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis.
SEC
Li Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon
2015 — conf
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.
ICSE (1)
Li Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel
2015 C conf
Potential Component Leaks in Android Apps: An Investigation into a New Feature Set for Malware Detection.
QRS
Li Li, Kevin Allix, Daoyuan Li, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein
2014 B conf
Automatically Exploiting Potential Component Leaks in Android Applications.
TrustCom
Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon
2014 — conf
Detecting Privacy Leaks in Android Apps.
ESSoS Doctoral Symposium
Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon
2014 A* conf
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps.
PLDI
Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel
2014 J jnl
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis.
CoRR
Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel
2014 — —
Security Analysis of Permission-Based Systems using Static Analysis: An Application to the Android Stack.
Alexandre Bartel
2014 J jnl
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android.
CoRR
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
2014 J jnl
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android.
IEEE Trans. Software Eng.
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
2013 A* conf
Effective Inter-Component Communication Mapping in Android: An Essential Step Towards Holistic Security Analysis.
USENIX Security Symposium
Damien Octeau, Patrick D. McDaniel, Somesh Jha, Alexandre Bartel, Eric Bodden, Jacques Klein, Yves Le Traon
2012 J jnl
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
CoRR
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
2012 A* conf
Automatically securing permission-based software by reducing the attack surface: an application to Android.
ASE
Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus
2012 J jnl
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
CoRR
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
2012 — conf
Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot.
SOAP@PLDI
Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus
2012 J jnl
Improving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation
CoRR
Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix, Yves Le Traon
2012 J jnl
Model Driven Mutation Applied to Adaptative Systems Testing
CoRR
Alexandre Bartel, Benoit Baudry, Freddy Muñoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon
2011 — conf
Model Driven Mutation Applied to Adaptative Systems Testing.
ICST Workshops
Alexandre Bartel, Benoit Baudry, Freddy Muñoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon