Welcome to my home page!
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.