I am a security researcher focusing on design and analysis of cryptographic protocols and primitives, with a special interest in formal verification and proof techniques. I have been active in standadization of security for mobile networks (3GPP, GSMA, 2G, GSM, 3G, UMTS, 4G, LTE and 5G) and internet protocols (IETF) since 2001. My github username is knorrman.