Karl Norrman

I am an industrial PhD student in the Theoretical Computer Science group (TCS). My research topic is modelling, verification and proof techniques for cryptographic protocols. In particular, I am interested in mechanization of these techniques, since this enables us to build tools, which increase the chances of industrial uptake of the technology. My supervisor is Mads Dam. I spend 20% of my time working for Ericsson Research, mainly with security protocol design and software security.

The research is partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) fundedby the Knut and Alice Wallenberg Foundation.