Skip to main content

Karl Norrman

Profile picture of Karl Norrman

DOCTORAL STUDENT

Details

Address
LINDSTEDTSVÄGEN 5, PLAN 5
Room

Researcher

Researcher ID

About me

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.


Courses

Applied Cryptography (DD2520), teacher | Course web