Welcome to Alexandre Bartel's Home Page!


We have openings for master thesis projects in software engineering and software security.
Interested? Contact me!

Alexandre Bartel I am a research associate in software engineering at the University of Luxembourg in the Interdisciplinary Centre for Security, Reliability and Trust's Serval Team. Prior to that I was a postdoctoral fellow at the Technical University of Darmstadt in the Secure Software Engineering group. I earned a Ph.D in 2014 from the University of Luxembourg, Before that, I received a M.S. from KTH, and a B.S. from INPG.
Broadly speaking my research is in the area of software engineering and computer security. The general idea is to study existing software layers from a security point of view and design efficient algorithms to verify security properties. My current research focuses on system security and on the analysis of permission-based software stacks such as Android.


Selected Publications

The complete list of publications is available here.

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]

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]

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]