Home

Publications

Service

Teaching




Dr. Alexandre Bartel
University of Luxembourg
4, rue Alphonse Weicker
L-2721 Luxembourg
Luxembourg


Phone
P: +352 (0)46 66 44 5945
F: +352 (0)46 66 44 35945


Email
alexandre.bartelɸuni.lu

Welcome to Alexandre Bartel's Home Page!


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.




Latest 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]

• 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]