Karl Norrman avatar Karl Norrman text logo



I am a security researcher at Ericsson and an industrial PhD student in the Theoretical Computer Science group (TCS) at KTH Royal Institute of Technology. My research topic is modelling, verification and proof techniques for cryptographic protocols applicable to real-world systems.

At Ericsson Research, I work mainly with design and analysis of security architectures and protocols, as well as software security.

Publications

Conference and workshop papers
 
  • Secure Anycast Channels with Applications to 4G and 5G Handovers (preprint)
    Norrman; IACR Cryptol. ePrint Arch. 2022: 1149 External Link
  • Extended Formal Analysis of the EDHOC Protocol in Tamarin
    Norrman, Sundararajan and Bruni; ICETE 2021, Revised Selected Papers (published 2023) DOI External Link
  • Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
    Norrman, Sundararajan and Bruni; SECRYPT 2021 Arxiv PDF DOI
  • Secure Federated Learning in 5G Mobile Networks
    Isaksson and Norrman; GLOBECOMM 2020 Arxiv PDF DOI
  • OpenSAW: Open Security Analysis Workbench
    Ben Henda, Johansson, Lantz, Norrman, Saarinen and Segersvärd; FASE 2017 PDF DOI
  • Subscription identifier privacy in 5G systems
    Jimenez, Nakarmi, Näslund and Norrman; MoWNet 2017 PDF DOI
  • Error-Correcting Message Authentication for 5G
    Dubrova, Näslund, Selander and Norrman; MobiMedia 2016 PDF DOI Presentation
  • Protecting IMSI and User Privacy in 5G Networks
    Norrman, Näslund and Dubrova; MobiMedia 2016 PDF DOI Presentation
  • Formal Verification of the Security for Dual Connectivity in LTE
    Ben Henda, Norrman and Pfeffer; FormaliSE at ICSE 2015 PDF DOI
  • USIM Compatible 5G AKA Protocol with Perfect Forward Secrecy
    Arkko, Norrman, Näslund and Sahlin; TrustCom/BigDataSE/ISPA 2015 PDF DOI Presentation
  • Formal Analysis of Security Procedures in LTE - A Feasibility Study
    Ben Henda and Norrman; RAID 2014 PDF DOI Presentation
  • Conversational IP multimedia security
    Blom, Carrara, Lindholm, Norrman and Näslund; MWCN 2002 PDF DOI
Book chapters
 
  • IMS Multimedia Telephony over Cellular Systems: VoIP Evolution in a Converged Telecommunication World (Chapter 6)
    Blom, Cheng, Lehtovirta, Norrman and Schultz; John Wiley & Sons Ltd 2007 DOI
  • Key management and Protection for IP Multimedia (Chapther 5) in Multimedia Security Handbook
    Blom, Carrara, Lindholm, Norrman and Näslund; CRC Press 2005 DOI
Whitepapers
 
  • 6G Security – drivers and needs
    Norrman, Sahlin, Smeets, Fogelström and Thormarker; Ericsson Whitepaper 2024 External Link
  • Security in 5G RAN and core deployments
    Teppo and Norrman; Ericsson Whitepaper 2019 External Link
  • 5G security - enabling a trustworthy 5G system
    Norrman, Nakarmi and Fogelström; Ericsson Whitepaper 2018 and 2020 External Link
  • Setting the standard: methodology counters security threats
    Norrman, Teppo, Mononen and Nilsson; Ericsson Review 2014 External Link
Blogs
 
  • Detecting false base stations in mobile networks
    Norrman and Nakarmi; External Link
  • Protecting 5G against IMSI catchers
    Norrman and Nakarmi; External Link
Presentations
 
  • Safety, Security and Privacy in Our Connected Society
    Norrman; IEEE/ICES Workshop on Safety and Security for Autonomous Systems 2017 Presentation
  • 5G Security Standardization
    Norrman; SICS, Ericsson and KTH Security Seminar 2016 Presentation

Comunity service

I have been reviewer for the conferences and journals: ACM CCS 2023, EURO S&P 2023, ACM CCS 2022, NordSec 2022, Vietcrypt 2006, IEEE Telecommunications Journal.

Education

PhD candidate
 
KTH Royal Institute of Technology, Sweden
Department of Theoretical Computer Science (TCS)
Ongoing

I investigate formal modeling and proofs for cryptographic protocols and primitives using both penn-and-paper proofs and mechanized proof-support tools such as Tamarin and EasyCrypt. My supervisor is Mads Dam.

The research is partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) fundedby the Knut and Alice Wallenberg Foundation.
Master's degree in computer science
 
Stockholm University, Sweden
Department of Mathematics
2001

Thesis: RTP Security in 3G Networks.

I was part of the development team for the Secure Real-time Transport Protocol (SRTP) standardized in IETF as RFC 3711.

Work

Security Researcher
 
Formal title: Expert Mobile Network Security
Ericsson Research
2001 - present

I am primarily working with security architectures and cryptographic protocol analysis and design, and also with software security.

I am a strong believer in goal oriented and motivated security designs.