2025

• FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security (Mojtaba Eshghie, Gabriele Morello, Matteo Lauretano, Alexandre Bartel and Martin Monperrus), Technical report 2510.21401, arXiv, 2025. [bibtex]

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 and Yves Le Traon), In IEEE Transactions on Software Engineering, 2014. [bibtex]

2012

• Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (Alexandre Bartel, Jacques Klein, Yves Le Traon and Martin Monperrus), In IEEE/ACM International Conference On Automated Software Engineering, 2012. [bibtex]
• Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot (Alexandre Bartel, Jacques Klein, Martin Monperrus and Yves Le Traon), In ACM SIGPLAN International Workshop on State Of the Art in Java Program Analysis, 2012. [bibtex] [github]
• In-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments (Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix and Yves Le Traon), Technical report 1208.4536, arXiv, 2012. [bibtex]
• Improving privacy on android smartphones through in-vivo bytecode instrumentation (Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix and Yves Le Traon), Technical report arXiv:1208.4536, University of Luxembourg, 2012. [bibtex]