Welcome to Alexandre Bartel's Home Page!
I am a research associate in software engineering at the
University of Luxembourg in the
Interdisciplinary Centre for Security, Reliability and Trust's
Prior to that I was a postdoctoral fellow at the
Technical University of Darmstadt
in the Secure Software Engineering group.
a Ph.D in 2014 from the University of Luxembourg,
Before that, I received a M.S. from KTH,
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.
The complete list of publications is available here.