Skip to main content
Back to KTH start page

Karl Norrman

Profile picture of Karl Norrman

DOCTORAL STUDENT

Details

Address
LINDSTEDTSVÄGEN 5, PLAN 5
Room

Researcher


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, assistant | Course web