Karl Norrman

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 13

Top Topics

Key Establishment

Mobile Networks

Formal Analysis

Top Venues

ICETE (Selected Papers)

Publications

Karl Norrman
Secure Anycast Channels with Applications to 4G and 5G Handovers. IACR Cryptol. ePrint Arch. 2022 (2022)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. SECRYPT (2021)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Extended Formal Analysis of the EDHOC Protocol in Tamarin. ICETE (Selected Papers) (2021)
Prajwol Kumar Nakarmi, Mehmet Akif Ersoy, Elif Ustundag Soykan, Karl Norrman
Murat: Multi-RAT False Base Station Detector. CoRR (2021)
Martin Isaksson, Karl Norrman
Secure Federated Learning in 5G Mobile Networks. GLOBECOM (2020)
Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. CoRR (2020)
Martin Isaksson, Karl Norrman
Secure Federated Learning in 5G Mobile Networks. CoRR (2020)
Enrique Cobo Jimenez, Prajwol Kumar Nakarmi, Mats Näslund, Karl Norrman
Subscription identifier privacy in 5G systems. MoWNet (2017)
Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd
OpenSAW: Open Security Analysis Workbench. FASE (2017)
Elena Dubrova, Mats Näslund, Göran Selander, Karl Norrman
Error-Correcting Message Authentication for 5G. MobiMedia (2016)
Karl Norrman, Mats Näslund, Elena Dubrova
Protecting IMSI and User Privacy in 5G Networks. MobiMedia (2016)
Jari Arkko, Karl Norrman, Mats Näslund, Bengt Sahlin
A USIM Compatible 5G AKA Protocol with Perfect Forward Secrecy. TrustCom/BigDataSE/ISPA (1) (2015)
Noamen Ben Henda, Karl Norrman, Katharina Pfeffer
Formal Verification of the Security for Dual Connectivity in LTE. FormaliSE@ICSE (2015)
Noomene Ben Henda, Karl Norrman
Formal Analysis of Security Procedures in LTE - A Feasibility Study. RAID (2014)
Vesa Lehtovirta, Mats Näslund, Karl Norrman
Integrity Transform Carrying Roll-Over Counter for the Secure Real-time Transport Protocol (SRTP). RFC 4771 (2007)
Jari Arkko, Fredrik Lindholm, Mats Näslund, Karl Norrman, Elisabetta Carrara
Key Management Extensions for Session Description Protocol (SDP) and Real Time Streaming Protocol (RTSP). RFC 4567 (2006)
Elisabetta Carrara, Vesa Lehtovirta, Karl Norrman
The Key ID Information Type for the General Extension Payload in Multimedia Internet KEYing (MIKEY). RFC 4563 (2006)
Jari Arkko, Elisabetta Carrara, Fredrik Lindholm, Mats Näslund, Karl Norrman
MIKEY: Multimedia Internet KEYing. RFC 3830 (2004)
Mark Baugher, David A. McGrew, Mats Näslund, Elisabetta Carrara, Karl Norrman
The Secure Real-time Transport Protocol (SRTP). RFC 3711 (2004)
Rolf Blom, Elisabetta Carrara, Fredrik Lindholm, Karl Norrman, Mats Näslund
Conversational IP multimedia security. MWCN (2002)