Welcome to my home page!
- September 21: The position has been filled!
-
September 2020: We have an opening for a post-doc position in software engineering and/or software security.
Are you looking for master thesis project in software engineering and/or software security? Contact me!
I am an Assistant Professor in software engineering at the
University of Copenhagen in the
Department of Computer Science's
Software, Data, People & Society (SDPS) Section.
My research interests are in the area of software engineering and computer security.
I 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]