Welcome to my home page!

I am a Professor in the Department of Computing Science at Umeå University. 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.